eBooks: Validierung und Verifikation

Continuous Integration (eBook, PDF)
22,95 €
Sofort per Download lieferbar
Paul M. Duvall
Steve Matyas
Andrew Glover
Continuous Integration (eBook, PDF)
  (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
Enterprise Integration Patterns (eBook, PDF)
  (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
Logic-Based Program Synthesis and Transformation (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
22. April 2015
Springer-Verlag GmbH
Perspectives of Systems Informatics (eBook, PDF)
73,95 €
Sofort per Download lieferbar
Perspectives of Systems Informatics (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
27. Januar 2010
Springer-Verlag GmbH
Programming Methodology (eBook, PDF)
81,95 €
Sofort per Download lieferbar
Programming Methodology (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. Dezember 2012
Springer US
Frontiers of Combining Systems (eBook, PDF)
44,95 €
Sofort per Download lieferbar
Frontiers of Combining Systems (eBook, PDF)
  (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
Recent Trends in Algebraic Development Techniques (eBook, PDF)
  (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
Multiparadigm Programming in Mozart/Oz (eBook, PDF)
  (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
Hardware and Software: Verification and Testing (eBook, PDF)
  (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
Formal Methods for Industrial Critical Systems (eBook, PDF)
  (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
Logic for Programming, Artificial Intelligence, and Reasoning (eBook, PDF)
  (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
Knowledge Science, Engineering and Management (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
10. Oktober 2014
Springer-Verlag GmbH
Software Composition (eBook, PDF)
56,95 €
Sofort per Download lieferbar
Software Composition (eBook, PDF)
  (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
Application and Theory of Petri Nets and Concurrency (eBook, PDF)
  (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
Rewriting Logic and Its Applications (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. August 2016
Springer-Verlag GmbH
Functional and Logic Programming (eBook, PDF)
65,95 €
Sofort per Download lieferbar
Functional and Logic Programming (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
29. Dezember 2006
Springer Berlin Heidelberg
CONCUR 2004 -- Concurrency Theory (eBook, PDF)
73,95 €
Sofort per Download lieferbar
CONCUR 2004 -- Concurrency Theory (eBook, PDF)
  (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
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache (eBook, PDF)
  (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
Recent Advances in Constraints (eBook, PDF)
  (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
Tools and Algorithms for the Construction and Analysis of Systems (eBook, PDF)
  (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
SOFSEM 2001: Theory and Practice of Informatics (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
30. Juni 2003
Springer Berlin Heidelberg
Static Analysis (eBook, PDF)
59,95 €
Sofort per Download lieferbar
Static Analysis (eBook, PDF)
  (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
Formal Methods: Foundations and Applications (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
19. November 2018
Springer-Verlag GmbH
Reuse and Software Quality (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Reuse and Software Quality (eBook, PDF)
  (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
Rigorous Software Development (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
4. Januar 2011
Springer-Verlag GmbH
CONCUR 2014 - Concurrency Theory (eBook, PDF)
56,95 €
Sofort per Download lieferbar
CONCUR 2014 - Concurrency Theory (eBook, PDF)
  (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
Logic and Complexity (eBook, PDF)
  (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
Foundations of Software Science and Computational Structures (eBook, PDF)
  (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
Distributed, Parallel and Biologically Inspired Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. August 2010
Springer-Verlag GmbH
Integrated Formal Methods (eBook, PDF)
70,95 €
Sofort per Download lieferbar
Integrated Formal Methods (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
27. Oktober 2005
Springer-Verlag GmbH