eBooks: Validierung und Verifikation


Continuous Integration (eBook, PDF)
22,95 €
Sofort per Download lieferbar
Paul M. Duvall
Steve Matyas
Andrew Glover
  (Aktuell noch keine Bewertungen)
eBook, PDF
29. Juni 2007
Pearson ITP

Enterprise Integration Patterns (eBook, PDF)
27,95 €
Sofort per Download lieferbar
Gregor Hohpe
Bobby Woolf
  (Aktuell noch keine Bewertungen)
eBook, PDF
9. März 2012
Pearson ITP

Logic-Based Program Synthesis and Transformation (eBook, PDF)
44,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
22. April 2015
Springer-Verlag GmbH

Perspectives of Systems Informatics (eBook, PDF)
73,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
27. Januar 2010
Springer-Verlag GmbH

Programming Methodology (eBook, PDF)
81,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. Dezember 2012
Springer US

Frontiers of Combining Systems (eBook, PDF)
44,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
19. September 2015
Springer-Verlag GmbH

Recent Trends in Algebraic Development Techniques (eBook, PDF)
48,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
21. Februar 2012
Springer-Verlag GmbH

Multiparadigm Programming in Mozart/Oz (eBook, PDF)
60,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
22. Februar 2005
Springer-Verlag GmbH

Hardware and Software: Verification and Testing (eBook, PDF)
38,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
26. Oktober 2015
Springer-Verlag GmbH

Formal Methods for Industrial Critical Systems (eBook, PDF)
38,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
1. September 2014
Springer-Verlag GmbH

Logic for Programming, Artificial Intelligence, and Reasoning (eBook, PDF)
81,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
9. Februar 2005
Springer-Verlag GmbH

Knowledge Science, Engineering and Management (eBook, PDF)
51,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
10. Oktober 2014
Springer-Verlag GmbH

Software Composition (eBook, PDF)
56,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
30. Juni 2009
Springer-Verlag GmbH

Application and Theory of Petri Nets and Concurrency (eBook, PDF)
44,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
3. Juni 2015
Springer-Verlag GmbH

Rewriting Logic and Its Applications (eBook, PDF)
40,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. August 2016
Springer-Verlag GmbH

Functional and Logic Programming (eBook, PDF)
65,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
29. Dezember 2006
Springer Berlin Heidelberg

CONCUR 2004 -- Concurrency Theory (eBook, PDF)
73,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
22. März 2011
Springer Berlin Heidelberg

Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache (eBook, PDF)
Statt 54,99 €**
42,99 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Rolf Stadler
  (Aktuell noch keine Bewertungen)
eBook, PDF
14. März 2013
Springer-Verlag GmbH

Recent Advances in Constraints (eBook, PDF)
56,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
26. März 2004
Springer Berlin Heidelberg

Tools and Algorithms for the Construction and Analysis of Systems (eBook, PDF)
81,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
29. Juni 2003
Springer Berlin Heidelberg

SOFSEM 2001: Theory and Practice of Informatics (eBook, PDF)
56,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
30. Juni 2003
Springer Berlin Heidelberg

Static Analysis (eBook, PDF)
59,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
28. August 2018
Springer-Verlag GmbH

Formal Methods: Foundations and Applications (eBook, PDF)
46,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
19. November 2018
Springer-Verlag GmbH

Reuse and Software Quality (eBook, PDF)
40,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
15. Juli 2022
Springer International Publishing

Rigorous Software Development (eBook, PDF)
28,95 €
Sofort per Download lieferbar
José Bacelar Almeida
Maria João Frade
Jorge Sousa Pinto
…mehr Autoren
Simão Melo de Sousa
  (Aktuell noch keine Bewertungen)
eBook, PDF
4. Januar 2011
Springer-Verlag GmbH

CONCUR 2014 - Concurrency Theory (eBook, PDF)
56,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
23. August 2014
Springer-Verlag GmbH

Logic and Complexity (eBook, PDF)
97,95 €
Sofort per Download lieferbar
Richard Lassaigne
Michel De Rougemont
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. Dezember 2012
Springer London

Foundations of Software Science and Computational Structures (eBook, PDF)
73,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
27. März 2009
Springer-Verlag GmbH

Distributed, Parallel and Biologically Inspired Systems (eBook, PDF)
73,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. August 2010
Springer-Verlag GmbH

Integrated Formal Methods (eBook, PDF)
70,95 €
Sofort per Download lieferbar
  (Aktuell noch keine Bewertungen)
eBook, PDF
27. Oktober 2005
Springer-Verlag GmbH