Suchergebnisse für ""S. Scholten""

Predicate Calculus and Program Semantics (eBook, PDF)
69,95 €
Sofort per Download lieferbar
Versandkostenfrei
Edsger W. Dijkstra
Carel S. Scholten
Predicate Calculus and Program Semantics (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. Dezember 2012
Springer New York
Somatische problemen (eBook, PDF)
59,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
W.M.C. van Aalderen
M.J.I.J. Albers
A.C.E. de Blécourt
…mehr Autoren
G. Bleijenberg
H. Boxma
C. Braet
O.F. Brouwer
B. Derkx
H.J.Y. van Drie
M. van Dijk
A.M. van Furth
T.M. van Gemert
R.A. Hirasing
H.W.C. Hofland
E.C.A.M. Houdijk
L.W.A. de Jong
R.C.J. de Jonge
L.J. Kalverdijk
J.K.W. Kieboom
C. Kluft
C.M.F. Kneepkens
H. Knoop
F.J.M. van Leerdam
M.M.H. Lub
T.G.J. de Meij
E.A.J. Peeters
S. Scholten
A.B. Sprikkelman
D. Tibboel
H.L.G. ter Waarbeek
Walstra
Somatische problemen (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
27. Juni 2010
Bohn Stafleu van Loghum
Auch erhältlich als
Broschiertes Buch69,99 €
WALL Die Kontrolle der Bilder
Matthias Melster
Oliver S. Scholten
WALL Die Kontrolle der Bilder
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Dtsch.-Engl.
24. November 2009
Onkel & Onkel
Predicate Calculus and Program Semantics
69,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Edsger W. Dijkstra
Carel S. Scholten
Predicate Calculus and Program Semantics
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1990
26. September 2011
Springer / Springer New York / Springer, Berlin
978-1-4612-7924-2
Predicate Calculus and Program Semantics
Edsger W. Dijkstra
Carel S. Scholten
Predicate Calculus and Program Semantics
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1990
Springer, Berlin

Ähnliche Artikel

Algebraic Approaches to Program Semantics (eBook, PDF)
70,95 €
Sofort per Download lieferbar
Versandkostenfrei
Ernest G. Manes
Michael A. Arbib
Algebraic Approaches to Program Semantics (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. Dezember 2012
Springer New York
Logic Program Synthesis and Transformation (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Logic Program Synthesis and Transformation (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
9. März 2013
Springer London
The Carnegie-Mellon Curriculum for Undergraduate Computer Science (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
S. D. Brookes
M. Donner
J. Driscoll
…mehr Autoren
M. Mauldin
R. Pausch
W. L. Scherlis
Mary Shaw
A. Z. Spector
The Carnegie-Mellon Curriculum for Undergraduate Computer Science (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. Dezember 2012
Springer New York
Software Engineering with OBJ (eBook, PDF)
161,95 €
Sofort per Download lieferbar
Versandkostenfrei
Software Engineering with OBJ (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
11. November 2013
Springer New York
A Theory and Practice of Program Development (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Derek J. Andrews
A Theory and Practice of Program Development (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. Dezember 2012
Springer London
Optimal Interprocedural Program Optimization (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Jens Knoop
Optimal Interprocedural Program Optimization (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
26. Juni 2003
Springer Berlin Heidelberg
Mathematics of Program Construction (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Mathematics of Program Construction (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
2. August 2003
Springer Berlin Heidelberg
Refinement Calculus (eBook, PDF)
73,95 €
Sofort per Download lieferbar
Versandkostenfrei
Ralph-Johan Back
Joakim Wright
Refinement Calculus (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. Dezember 2012
Springer New York
Larch: Languages and Tools for Formal Specification (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
John V. Guttag
James J. Horning
Larch: Languages and Tools for Formal Specification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. Dezember 2012
Springer New York
Formal Techniques in Real-Time and Fault-Tolerant Systems (eBook, PDF)
113,95 €
Sofort per Download lieferbar
Versandkostenfrei
Formal Techniques in Real-Time and Fault-Tolerant Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. Dezember 2012
Springer New York


Ähnlichkeitssuche: Fact®Finder von OMIKRON