Suchergebnisse für ""Carel S. Scholten""

Predicate Calculus and Program Semantics (eBook, PDF)
68,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 US
Predicate Calculus and Program Semantics
64,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Edsger W. Dijkstra
Carel S. Scholten
Predicate Calculus and Program Semantics
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
26. September 2011
Springer / Springer New York / Springer, Berlin
978-1-4612-7924-2

Ähnliche Artikel

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 US
Refinement Calculus (eBook, PDF)
72,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 US
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 US
Formal Techniques in Real-Time and Fault-Tolerant Systems (eBook, PDF)
112,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 US
Software Engineering with OBJ (eBook, PDF)
160,95 €
Sofort per Download lieferbar
Versandkostenfrei
Software Engineering with OBJ (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
11. November 2013
Springer US
A Modular Calculus for the Average Cost of Data Structuring (eBook, PDF)
72,95 €
Sofort per Download lieferbar
Versandkostenfrei
Michel Schellekens
A Modular Calculus for the Average Cost of Data Structuring (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. Juni 2008
Springer US
Programming Concepts and Methods PROCOMET '98 (eBook, PDF)
160,95 €
Sofort per Download lieferbar
Versandkostenfrei
Programming Concepts and Methods PROCOMET '98 (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. April 2013
Springer US
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
19. Oktober 2019
Springer International Publishing
Integrated Formal Methods (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Integrated Formal Methods (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
27. Oktober 2005
Springer Berlin Heidelberg


Ähnlichkeitssuche: Fact®Finder von OMIKRON