Suchergebnisse für ""Stephan Merz""




Ähnliche Artikel


Temporal Logic in Specification
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Banieqbal
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Altrincham, UK, April 8-10, 1987, Proceedings
1989.
11. Oktober 1989
Springer, Berlin

Integrated Formal Methods
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Eerke Boiten / John Derrick / Graeme Smith (Eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
2004
24. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21377-2

A Practical Theory of Reactive Systems
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
R. Kurki-Suonio
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Incremental Modeling of Dynamic Behaviors
Softcover reprint of hardcover 1st ed. 2005
21. Oktober 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-06237-7

A Practical Theory of Reactive Systems
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
R. Kurki-Suonio
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Incremental Modeling of Dynamic Behaviors
2005
17. Februar 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11011705,978-3-540-23342-8

Formal Methods at the Crossroads. From Panacea to Foundational Support
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Bernhard K. Aichernig / Tom Maibaum (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
2003
18. November 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20527-2

Temporal Logic
79,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Gabbay
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
1994.
29. Juni 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58241-0

Modal and Temporal Properties of Processes
39,99 €
Versandfertig in über 4 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

Modal and Temporal Properties of Processes
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Colin Stirling
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2001
9. Oktober 2011
Springer / Springer New York / Springer, Berlin
978-1-4419-3153-5

Verification of Reactive Systems
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Klaus Schneider
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Formal Methods and Algorithms
2004
16. Oktober 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00296-3

Specifying Message Passing and Time-Critical Systems with Temporal Logic
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Ron Koymans
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1992.
14. Dezember 1992
Springer, Berlin



Ähnlichkeitssuche: Fact®Finder von OMIKRON