Suchergebnisse für ""Yuri Gurevich""




Ähnliche Artikel


Abstract State Machines 2003: Advances in Theory and Practice
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Börger
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
2003
21. Februar 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00624-4

Abstract State Machines 2004. Advances in Theory and Practice
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Wolf Zimmermann / Bernhard Thalheim (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
2004
11. Mai 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11011170,978-3-540-22094-7

Abstract State Machines, B and Z
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
2008
8. September 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12518180,978-3-540-87602-1

Abstract State Machines, Alloy, B, TLA, VDM, and Z
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
1st ed. 2018
8. Mai 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-91270-7

Coloured Petri Nets
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Kurt Jensen
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Basic Concepts, Analysis Methods and Practical Use. Volume 2
1994.
28. November 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58276-2

Coloured Petri Nets
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Kurt Jensen
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Basic Concepts, Analysis Methods and Practical Use. Volume 2
Softcover reprint of hardcover 1st ed. 1995
1. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-08200-9

Verification, Model Checking, and Abstract Interpretation
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Bernhard Steffen / Giorgio Levi (Bearb.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
2004
7. Januar 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20803-7

Coloured Petri Nets
117,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Kurt Jensen
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Basic Concepts, Analysis Methods and Practical Use. Volume 1
2. Aufl.
19. Oktober 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-08243-6

Verification, Model Checking, and Abstract Interpretation
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Radhia Cousot (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
2005
13. Januar 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11375739,978-3-540-24297-0

Verification, Model Checking, and Abstract Interpretation
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
2008
26. Februar 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12228195,978-3-540-78162-2



Ähnlichkeitssuche: Fact®Finder von OMIKRON