Suchergebnisse für ""Yuri Gurevich""




Ähnliche Artikel


Abstract State Machines 2003: Advances in Theory and Practice
39,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
39,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

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

Coloured Petri Nets
77,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

Coloured Petri Nets
108,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

Coloured Petri Nets
61,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Kurt Jensen
Lars M. Kristensen
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Modelling and Validation of Concurrent Systems
2009
2. Juli 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
10980361,978-3-642-00283-0

Fundamental Approaches to Software Engineering
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Michel Wermelinger / Tiziana Margaria-Steffen (Eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings
2004
22. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21305-5

Integrated Formal Methods
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
2010
6. Oktober 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
80023498,978-3-642-16264-0

Coloured Petri Nets
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Kurt Jensen
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Basic Concepts, Analysis Methods and Practical Use
Softcover reprint of the original 1st ed. 1997
16. September 2011
Springer, Berlin

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
S. Abramsky / T.S.E. Maibaum (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD)
1991.
28. März 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-53981-0



Ähnlichkeitssuche: Fact®Finder von OMIKRON