Suchergebnisse für ""Fred B. Schneider""




Ähnliche Artikel


The Temporal Logic of Reactive and Concurrent Systems
41,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Zohar Manna
Amir Pnueli
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Specification
Softcover reprint of the original 1st ed. 1992
17. Oktober 2012
Springer / Springer New York / Springer, Berlin
978-1-4612-6950-2

The Temporal Logic of Reactive and Concurrent Systems
89,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Zohar Manna
Amir Pnueli
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Specification
1991.
18. Dezember 1991
Springer / Springer New York / Springer, Berlin
978-0-387-97664-8

The Origin of Concurrent Programming
93,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
From Semaphores to Remote Procedure Calls
Softcover reprint of the original 1st ed. 2002
21. September 2011
Springer / Springer New York / Springer, Berlin
978-1-4419-2986-0

Descriptive Complexity
140,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Neil Immerman
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1998.
20. November 1998
Springer / Springer New York / Springer, Berlin
978-0-387-98600-5

The Origin of Concurrent Programming
79,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Per Brinch Hansen (ed.)
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
From Semaphores to Remote Procedure Calls
2002
31. Mai 2002
Springer, Berlin

Object-Based Concurrent Computing
41,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Tokoro
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings
1992.
16. Juni 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55613-8

Specification and Analysis of Concurrent Systems
81,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Ryszard Janicki
Peter E. Lauer
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
The COSY Approach
Softcover reprint of the original 1st ed. 1992
29. Dezember 2011
Springer, Berlin

Conclog: A Methodological Approach to Concurrent Logic Programming
81,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
J.-M. Jacquet
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1991.
27. November 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54938-3

Modal and Temporal Properties of Processes
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Colin Stirling
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2001
6. Juli 2001
Springer / Springer New York / Springer, Berlin
978-0-387-98717-0



Ähnlichkeitssuche: Fact®Finder von OMIKRON