Validierung und Verifikation


Enterprise Integration Patterns
Bisher 45,99 €**
45,55 €
**Früherer Preis
Sofort lieferbar
Versandkostenfrei*
Gregor Hohpe
Bobby Woolf
(Aktuell noch keine Bewertungen)
Gebundenes Buch
Designing, Building, and Deploying Messaging Solutions
Januar 2004
Addison-Wesley Longman, Amsterdam

Continuous Integration
Bisher 38,99 €**
38,16 €
**Früherer Preis
Sofort lieferbar
Versandkostenfrei*
Paul M. Duvall
Steve Matyas
Andrew Glover
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Improving Software Quality and Reducing Risk
August 2007
Pearson Education (US

Der Systemtest
39,90 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei*
Harry M. Sneed
Manfred Baumgartner
Richard Seidl
(Aktuell noch keine Bewertungen)
Gebundenes Buch
Von den Anforderungen zum Qualitätsnachweis
3. Aufl.
3. November 2011
Hanser Fachbuchverlag
553/42692

Automotive Software Engineering
74,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei*
Jörg Schäuffele
Thomas Zurawka
(Aktuell noch keine Bewertungen)
Gebundenes Buch
Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
6. Aufl.
5. September 2016
Springer, Berlin; Springer Fachmedien Wiesbaden

Industrieroboter
59,80 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei*
Gunther Reinhart
Alejandro Magaña Flores
Carola Zwicker
(Aktuell noch keine Bewertungen)
Gebundenes Buch
Planung - Integration - Trends Ein Leitfaden für KMU
Juli 2018
Vogel Communications Group

Clean Coder (eBook, PDF)
Statt 34,99 €**
29,99 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei*
Robert C. Martin
(Aktuell noch keine Bewertungen)
eBook, PDF
24.03.2014
MITP

Building REST APIs with Flask
Bisher 21,99 €**
21,52 €
**Früherer Preis
Sofort lieferbar
Versandkostenfrei*
Kunal Relan
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Create Python Web Services with MySQL
1st ed.
13. September 2019
Springer, Berlin; Apress
978-1-4842-5021-1

APL Programs for the Mathematics Classroom
Bisher 72,99 €**
72,12 €
**Früherer Preis
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Norman D. Thomson
(Aktuell noch keine Bewertungen)
Broschiertes Buch
1998.
17. Juli 1998
Springer, Berlin

Programmentwicklung und Verifikation
69,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Gerald Futschek
(Aktuell noch keine Bewertungen)
Broschiertes Buch
1989.
23. März 1989
Springer, Wien

Constraint-Programmierung
22,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Thom Frühwirth
Slim Abdennadher
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Grundlagen und Anwendungen
1997.
12. September 1997
Springer, Berlin

Constructing Correct Software
Bisher 112,99 €**
62,26 €
**Früherer Preis
Sofort lieferbar
Versandkostenfrei*
John Cooke
(Aktuell noch keine Bewertungen)
Broschiertes Buch
2nd ed.
8. November 2004
Springer, Berlin; Springer, London
10988084

Computational Logic
187,24 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 3-5 Tagen
Versandkostenfrei*
Berger
(Aktuell noch keine Bewertungen)
Gebundenes Buch
1999.
14. April 1999
Springer, Berlin
10680739

Algorithms and Data Structures in VLSI Design
Bisher 55,99 €**
55,10 €
**Früherer Preis
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Christoph Meinel
Thorsten Theobald
(Aktuell noch keine Bewertungen)
Broschiertes Buch
OBDD - Foundations and Applications
1998.
19. August 1998
Springer, Berlin

Introduction to Process Algebra
Bisher 43,99 €**
43,77 €
**Früherer Preis
Versandfertig in 3-5 Tagen
Versandkostenfrei*
Wan Fokkink
(Aktuell noch keine Bewertungen)
Gebundenes Buch
1999.
23. Dezember 1999
Springer, Berlin

Tools and Algorithms for the Construction and Analysis of Systems
Bisher 72,99 €**
72,12 €
**Früherer Preis
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Steffen
(Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
1998.
18. März 1998
Springer, Berlin
10632045

Automata, Languages, and Programming
Bisher 95,99 €**
95,45 €
**Früherer Preis
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Abiteboul
(Aktuell noch keine Bewertungen)
Broschiertes Buch
21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings
1994.
15. Juni 1994
Springer, Berlin

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
Bisher 72,99 €**
72,12 €
**Früherer Preis
Versandfertig in 6-10 Tagen
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, Berlin

Types for Proofs and Programs
48,77 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Thorsten Altenkirch / Wolfgang Naraschewski / Bernhard Reus (eds.)
(Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
1999.
22. September 1999
Springer, Berlin
10704119

Computer Aided Verification
69,78 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
(Aktuell noch keine Bewertungen)
Broschiertes Buch
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
1999.
17. Juli 1996
Springer, Berlin

Hybrid Systems III
83,78 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Alur
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Verification and Control
1996.
24. April 1996
Springer, Berlin