Validierung und Verifikation


IT-Handbuch für Fachinformatiker
34,90
Preis in Euro, inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
versandkostenfrei*
Sascha Kersken
(Aktuell noch keine Bewertungen)
Gebundenes Buch
Für Fachinformatiker der Bereiche Anwendungsentwicklung und Systemintegration. Inkl. Prüfungsfragen und Praxisübungen
8., aktualis. Aufl.
26. Juni 2017
Rheinwerk Verlag
.459/04426,459/04426

Clean Coder
34,99
Preis in Euro, inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
versandkostenfrei*
Robert C. Martin
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Verhaltensregeln für professionelle Programmierer
März 2014
Mitp-Verlag
82669695

Softwarequalität in PHP-Projekten
49,99
Preis in Euro, inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
versandkostenfrei*
Sebastian Bergmann
Stefan Priebsch
(Aktuell noch keine Bewertungen)
Gebundenes Buch
Mit Fallstudien von Firmen wie Facebook und Projekten wie TYPO3, Symfony und Zend Framework
2., aktualis. u. erw. Aufl.
4. April 2013
Hanser Fachbuchverlag
553/43539

Continuous Integration
Bisher 64,99**
37,99
**Früherer Preis
Sofort lieferbar
versandkostenfrei*
Paul Duvall
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Improving Software Quality and Reducing Risk
August 2007
Addison-Wesley Longman, Amsterdam

Automotive Software Engineering (eBook, PDF)
Bisher 69,99**
54,99
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Preis in Euro, inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
versandkostenfrei*
Jörg Schäuffele
Thomas Zurawka
(Aktuell noch keine Bewertungen)
eBook, PDF
24.08.2016
Springer Fachmedien Wiesbaden

Automotive Software Engineering
69,99
Preis in Euro, 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

Temporal Logic and State Systems
60,99
Sofort lieferbar
versandkostenfrei*
Fred Kröger
Stefan Merz
(Aktuell noch keine Bewertungen)
Gebundenes Buch
März 2008
Springer, Berlin
10725212

IT-Handbuch für Fachinformatiker (eBook, ePUB)
Bisher 34,90**
30,90
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Preis in Euro, inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
versandkostenfrei*
Sascha Kersken
(Aktuell noch keine Bewertungen)
eBook, ePUB
26.06.2017
Rheinwerk Verlag

Clean Coder (eBook, PDF)
Bisher 34,99**
29,99
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Preis in Euro, inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
versandkostenfrei*
Robert C. Martin
(Aktuell noch keine Bewertungen)
eBook, PDF
24.03.2014
MITP Verlags GmbH & Co. KG

Fundamental Approaches to Software Engineering
64,99
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
Preis in Euro, inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 3-5 Tagen
versandkostenfrei*
Gerald Futschek
(Aktuell noch keine Bewertungen)
Broschiertes Buch
1989.
23. März 1989
Springer, Wien

Constraint-Programmierung
22,99
Preis in Euro, inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 3-5 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
65,99
Sofort lieferbar
versandkostenfrei*
John Cooke
(Aktuell noch keine Bewertungen)
Broschiertes Buch
2nd ed.
November 2004
Springer, Berlin; Springer, London
10988084

Computational Logic
Bisher 255,73**
187,24
**Früherer Preis
Preis in Euro, 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

Introduction to Process Algebra
43,99
Versandfertig in 3-5 Tagen
versandkostenfrei*
Wan Fokkink
(Aktuell noch keine Bewertungen)
Gebundenes Buch
1999.
23. Dezember 1999
Springer, Berlin

Petri Net Algebra
111,99
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
72,99
Versandfertig in 3-5 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
95,99
Versandfertig in 3-5 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
72,99
Versandfertig in 3-5 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

Correct Hardware Design and Verification Methods
56,99
Versandfertig in 3-5 Tagen
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
69,99
Versandfertig in 3-5 Tagen
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
48,99
Versandfertig in 3-5 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,99
Versandfertig in 3-5 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,99
Versandfertig in 3-5 Tagen
versandkostenfrei*
Alur
(Aktuell noch keine Bewertungen)
Broschiertes Buch
Verification and Control
1996.
24. April 1996
Springer, Berlin

Fundamental Approaches to Software Engineering
56,99
Versandfertig in 3-5 Tagen
versandkostenfrei*
Astesiano
(Aktuell noch keine Bewertungen)
Broschiertes Buch
First International Conference, FASE'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.
11. März 1998
Springer, Berlin
10632029