Zohar Manna
Beliebte Artikel von Zohar Manna
Alle Angebote anzeigen-
Logical Basis for Computer Programming, Volume 1, The (Addison-Wesley Series in Computer Science)
Manna, Zohar; Waldinger, Richard
Artikelpreise ab
10 Angebote anzeigenEUR 4,36
Entdecken Sie auch
Antiquarisch -
Lectures on the Logic of Computer Programming (Cbms-Nsf Regional Conference Series in Applied Mathematics, 31)
Manna, Zohar
Artikelpreise ab
4 Angebote anzeigenEUR 6,17
-
Mathematical Theory of Computation (McGraw-Hill Computer Science Series)
Manna, Zohar
Artikelpreise ab
12 Angebote anzeigenEUR 6,00
-
Temporal Verification of Reactive Systems: Safety
Manna, Zohar; Pnueli, Amir
Artikelpreise ab
10 Angebote anzeigenEUR 34,26
-
The Deductive Foundations of Computer Programming
Manna, Zohar; Waldinger, Richard
Artikelpreise ab
1 Angebot anzeigenEUR 34,89
Entdecken Sie auch
Antiquarisch -
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Artikelpreise ab
5 Angebote anzeigenEUR 34,27
-
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Artikelpreise ab
3 Angebote anzeigenEUR 61,12
Entdecken Sie auch
Neu -
Time for Verification: Essays in Memory of Amir Pnueli
Artikelpreise ab
1 Angebot anzeigenEUR 134,81
Entdecken Sie auch
Antiquarisch
