Suchergebnisse für "Jost-Pieter Katoen (ed.)"




Ähnliche Artikel


Formal Methods for Components and Objects
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Frank S. de Boer / Marcello M. Bonsangue / Susanne Graf / Willem-Paul de Roever (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
2004
27. Oktober 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315810,978-3-540-22942-1

Interactive Markov Chains
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Holger Hermanns
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
The Quest for Quantified Quality
2002
11. September 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-44261-5

CONCUR 2014 ¿ Concurrency Theory
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
2014
6. August 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-44583-9

Tools and Algorithms for the Construction and Analysis of Systems
79,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Susanne Graf / Michael Schwartzbach (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
2000.
15. März 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10719978,978-3-540-67282-1

Coloured Petri Nets
79,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
79,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
111,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
62,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

Formal Methods for Software Architectures
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Marco Bernardo / Paolo Inverardi (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures
2003
12. September 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20083-3

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



Ähnlichkeitssuche: Fact®Finder von OMIKRON