Suchergebnisse für ""Branislav Kisacanin""




Ähnliche Artikel


Formal Techniques in Real-Time and Fault-Tolerant Systems
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Joseph
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Proceedings of a Symposium, Warwick, UK, September 22-23, 1988
1988.
14. September 1988
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-50302-6

Formal Methods and Hybrid Real-Time Systems
39,99 €
Versandfertig in über 4 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

Hybrid and Real-Time Systems
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Maler
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
1997.
5. März 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10549527,978-3-540-62600-8

Introduction to the Formal Design of Real-Time Systems
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
David Gray
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1999.
1. November 1998
Springer / Springer London / Springer, Berlin
978-3-540-76140-2

Formal Techniques in Real-Time and Fault-Tolerant Systems
79,99 €
Versandfertig in über 4 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

Formal Techniques in Real-Time and Fault-Tolerant Systems
79,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Vytopil
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
1991.
11. Dezember 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55092-1

Real-Time and Multi-Agent Systems
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Ammar Attoui
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2000.
22. September 2000
Springer / Springer London / Springer, Berlin
978-1-85233-252-5

Formal Methods for Real-Time and Probabilistic Systems
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Jost-Pieter Katoen (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings
1999.
12. Mai 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704800,978-3-540-66010-1

Formal Techniques in Real-Time and Fault-Tolerant Systems
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Ravn
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
1998.
2. September 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10638813,978-3-540-65003-4

Specification and Compositional Verification of Real-Time Systems
40,99 €
Versandfertig in über 4 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