Suchergebnisse für ""Robert Stärk""

Abstract State Machines (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Egon Börger
Robert Stärk
Abstract State Machines (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. Dezember 2012
Springer Berlin Heidelberg
Auch erhältlich als
Broschiertes Buch37,99 €
Abstract State Machines
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Egon Börger
Robert Stärk
Abstract State Machines
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Method for High-Level System Design and Analysis
Softcover reprint of the original 1st ed. 2003
3. Oktober 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-62116-1
Proof Theory in Computer Science
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Reinhard Kahle / Peter Schroeder-Heister / Robert Stärk (eds.)
Proof Theory in Computer Science
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
2001
28. September 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42752-0
Auch erhältlich als
eBook, PDF40,95 €

Ähnliche Artikel

Integrated Formal Methods (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Integrated Formal Methods (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
1. August 2003
Springer Berlin Heidelberg
Verification, Model Checking, and Abstract Interpretation (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Verification, Model Checking, and Abstract Interpretation (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
1. Juli 2003
Springer Berlin Heidelberg
Verification, Model Checking, and Abstract Interpretation (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Verification, Model Checking, and Abstract Interpretation (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
19. Dezember 2003
Springer Berlin Heidelberg
Programming Languages and Systems (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Programming Languages and Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
1. Juli 2003
Springer Berlin Heidelberg
Principles and Practice of Constraint Programming - CP 2004 (eBook, PDF)
73,95 €
Sofort per Download lieferbar
Versandkostenfrei
Principles and Practice of Constraint Programming - CP 2004 (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
12. Januar 2005
Springer Berlin Heidelberg
Verification, Model Checking, and Abstract Interpretation (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Verification, Model Checking, and Abstract Interpretation (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
13. Dezember 2005
Springer-Verlag GmbH
Verification, Model Checking, and Abstract Interpretation (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Verification, Model Checking, and Abstract Interpretation (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
29. Februar 2008
Springer-Verlag GmbH
Abstract Computing Machines (eBook, PDF)
73,95 €
Sofort per Download lieferbar
Versandkostenfrei
Werner Kluge
Abstract Computing Machines (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
2. Dezember 2005
Springer-Verlag GmbH
Formal Methods for Open Object-Based Distributed Systems (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Formal Methods for Open Object-Based Distributed Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
24. November 2003
Springer Berlin Heidelberg
Theoretical Aspects of Computing - ICTAC 2008 (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Theoretical Aspects of Computing - ICTAC 2008 (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
25. August 2008
Springer-Verlag GmbH


Ähnlichkeitssuche: Fact®Finder von OMIKRON