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
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
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
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
Computational Logic in Multi-Agent Systems (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Computational Logic in Multi-Agent Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
2. August 2009
Springer Berlin Heidelberg
Abstract State Machines, Alloy, B, TLA, VDM, and Z (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Abstract State Machines, Alloy, B, TLA, VDM, and Z (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
14. Mai 2018
Springer International Publishing
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


Ähnlichkeitssuche: Fact®Finder von OMIKRON