Suchergebnisse für ""Amir Pnueli""




Ähnliche Artikel


Formal Techniques in Real-Time and Fault-Tolerant Systems
79,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Langmaack
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
1994.
7. September 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58468-1

A Practical Theory of Reactive Systems
37,99 €
Versandfertig in 6-10 Tagen
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 6-10 Tagen
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

Tools and Algorithms for the Construction and Analysis of Systems
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Steffen
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
1998.
18. März 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10632045,978-3-540-64356-2

Transformation-Based Reactive Systems Development
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Bertran
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
1997.
7. Mai 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10548741,978-3-540-63010-4

Formal Development of Reactive Systems
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Lewerentz
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Case Study Production Cell
1995.
26. Januar 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58867-2

Hybrid Systems IV
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1997.
30. Juli 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10547876,978-3-540-63358-7

Formal Methods and Hybrid Real-Time Systems
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Cliff B. Jones (Volume ed.) / Zhiming Liu / Jim Woodcock
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
2007
6. September 2007
Springer, Berlin
12164615

Specification and Compositional Verification of Real-Time Systems
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Jozef Hooman
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1991.
27. November 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54947-5



Ähnlichkeitssuche: Fact®Finder von OMIKRON