Suchergebnisse für ""Howard Bowman""




Ähnliche Artikel


Rigorous Software Development
26,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
José Bacelar Almeida
Maria João Frade
Jorge Sousa Pinto
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
An Introduction to Program Verification
2011
7. Januar 2011
Springer / Springer London / Springer, Berlin
12243228,978-0-85729-017-5

The Pillars of Computation Theory
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Arnold L. Rosenberg
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
State, Encoding, Nondeterminism
2010 edition
11. November 2009
Springer / Springer New York / Springer, Berlin
12241279,978-0-387-09638-4

Adapting Proofs-As-Programs
192,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Iman Poernomo
John N. Crossley
Martin Wirsing
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
The Curry--Howard Protocol
2005 edition
21. Juni 2005
Springer / Springer New York / Springer, Berlin
11303336,978-0-387-23759-6

NASA Formal Methods
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
1st ed. 2018
11. März 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-77934-8

Computable Models
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Raymond Turner
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2009
13. Oktober 2010
Springer / Springer London / Springer, Berlin
978-1-84996-818-8

Computable Models
63,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Raymond Turner
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2009
10. März 2009
Springer / Springer London / Springer, Berlin
12168965,978-1-84882-051-7

Adapting Proofs-as-Programs
110,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Iman Poernomo
John N. Crossley
Martin Wirsing
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
The Curry--Howard Protocol
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2014-0

Theoretical Introduction to Programming
63,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Bruce Mills
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2006 edition
25. Oktober 2005
Springer, Berlin
11310457

Formal Methods: State of the Art and New Directions
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Repr. d. Ausg. v. 2009
22. Dezember 2009
Springer / Springer London / Springer, Berlin
11778295,978-1-84882-735-6



Ähnlichkeitssuche: Fact®Finder von OMIKRON