Fachbücher: Validierung und Verifikation


Enterprise Integration Patterns
Bisher 46,99 €**
41,99 €
**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

Temporal Logic and State Systems
Bisher 58,99 €**
57,99 €
**Früherer Preis
Sofort lieferbar
Versandkostenfrei*
Fred Kröger
Stefan Merz
(Aktuell noch keine Bewertungen)
Gebundenes Buch
27. März 2008
Springer, Berlin
10725212

Automotive Software Engineering
79,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
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 Vieweg / Springer, Berlin

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. März 2014
MITP

Automotive Software Engineering (eBook, PDF)
Statt 74,99 €**
62,99 €
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Sofort per Download lieferbar
Versandkostenfrei*
Jörg Schäuffele
Thomas Zurawka
(Aktuell noch keine Bewertungen)
eBook, PDF
24. August 2016
Springer Fachmedien Wiesbaden

Fundamental Approaches to Software Engineering
Bisher 65,99 €**
64,99 €
**Früherer Preis
Sofort lieferbar
Versandkostenfrei*
Ralf-Detlef Kutsche / Herbert Weber (eds.)
(Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
2002
20. März 2002
Springer, Berlin

Programmentwicklung und Verifikation
69,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 2-4 Wochen
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 2-4 Wochen
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 63,99 €**
62,99 €
**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 2-4 Wochen
Versandkostenfrei*
Berger
(Aktuell noch keine Bewertungen)
Gebundenes Buch
1999.
14. April 1999
Springer, Berlin
10680739

Algorithms and Data Structures in VLSI Design
Bisher 56,99 €**
55,99 €
**Früherer Preis
Versandfertig in 2-4 Wochen
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 44,99 €**
43,99 €
**Früherer Preis
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Wan Fokkink
(Aktuell noch keine Bewertungen)
Gebundenes Buch
1999.
23. Dezember 1999
Springer, Berlin

Anwendungsentwicklung
39,95 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei*
Jörg Bleßmann
Artur Büttner
Erwin Dax
(1 Bewertung)
Broschiertes Buch
Basiswissen IT-Berufe. Lehr-/Fachbuch
5. Aufl.
Juni 2011
Bildungsverlag EINS
1143

Petri Net Algebra
Bisher 107,99 €**
105,99 €
**Früherer Preis
Sofort lieferbar
Versandkostenfrei*
Eike Best
Raymond Devillers
Maciej Koutny
(Aktuell noch keine Bewertungen)
Gebundenes Buch
2001. 2001
26. Januar 2001
Springer, Berlin
10765212

Tools and Algorithms for the Construction and Analysis of Systems
Bisher 73,99 €**
72,99 €
**Früherer Preis
Versandfertig in 2-4 Wochen
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 97,99 €**
95,99 €
**Früherer Preis
Versandfertig in 2-4 Wochen
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 73,99 €**
72,99 €
**Früherer Preis
Versandfertig in 2-4 Wochen
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

Correct Hardware Design and Verification Methods
Bisher 57,99 €**
56,99 €
**Früherer Preis
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Camurati
(Aktuell noch keine Bewertungen)
Broschiertes Buch
IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings
1995.
18. September 1995
Springer, Berlin

Logical Foundations of Computer Science
Bisher 71,99 €**
69,99 €
**Früherer Preis
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Adian
(Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
1997.
28. Mai 1997
Springer, Berlin
10548775

Types for Proofs and Programs
Bisher 49,99 €**
48,99 €
**Früherer Preis
Versandfertig in 2-4 Wochen
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 / Springer Berlin Heidelberg / Springer, Berlin
10704119