Validierung und Verifikation


IT-Handbuch für Fachinformatiker
EUR 34,90
Alle Preise 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
EUR 34,99
Alle Preise 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

Clean Coder (eBook, PDF)
EUR 29,99
Bisher EUR 34,99**
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Alle Preise 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

Enterprise Integration Patterns
EUR 45,99
Bisher EUR 58,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

Automotive Software Engineering
EUR 69,99
Alle Preise 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
EUR 60,99
Sofort lieferbar
Versandkostenfrei
Fred Kröger
Stefan Merz
(Aktuell noch keine Bewertungen)
Gebundenes Buch
März 2008
Springer, Berlin
10725212

Softwarequalität in PHP-Projekten
EUR 49,99
Alle Preise 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

Fundamental Approaches to Software Engineering
EUR 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
EUR 69,99
Alle Preise 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
EUR 22,99
Alle Preise 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
EUR 65,99
Sofort lieferbar
Versandkostenfrei
John Cooke
(Aktuell noch keine Bewertungen)
Broschiertes Buch
2nd ed.
November 2004
Springer, Berlin; Springer, London
10988084

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

CONCUR '91
EUR 79,99
Versandfertig in 3-5 Tagen
Versandkostenfrei
Jos C.M. Baeten / Jan F. Groote (eds.)
(Aktuell noch keine Bewertungen)
Broschiertes Buch
2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
1991.
14. August 1991
Springer, Berlin

CONCUR'99. Concurrency Theory
EUR 83,99
Versandfertig in 3-5 Tagen
Versandkostenfrei
Jos C.M. Baeten / Sjouke Mauw (eds.)
(Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
1999.
13. August 1999
Springer, Berlin