Validierung und Verifikation


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

Clean Coder
34,99 €
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

Continuous Integration
38,99 €
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

Rigorous Software Development
28,99 €
Sofort lieferbar
Versandkostenfrei*
José Bacelar Almeida
Maria João Frade
Jorge Sousa Pinto
…mehr Autoren
Simão Melo de Sousa
(Aktuell noch keine Bewertungen)
Broschiertes Buch
An Introduction to Program Verification
2011
7. Januar 2011
Springer, Berlin
12243228

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
69,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

Grundlagen des modularen Softwareentwurfs
34,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei*
Herbert Dowalil
(Aktuell noch keine Bewertungen)
Gebundenes Buch
Der Bau langlebiger Mikro- und Makro-Architekturen wie Microservices und SOA 2.0
7. Mai 2018
Hanser Fachbuchverlag
553/45509

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

Logical Foundations of Cyber-Physical Systems
Bisher 41,99 €**
37,99 €
**Früherer Preis
Sofort lieferbar
Versandkostenfrei*
André Platzer
(Aktuell noch keine Bewertungen)
Gebundenes Buch
1st ed. 2018
11. August 2018
Springer, Berlin; Springer International Publishing
978-3-319-63587-3

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

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

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
55,99 €
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
43,99 €
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
72,99 €
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
95,99 €
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
72,99 €
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

Correct Hardware Design and Verification Methods
56,99 €
Versandfertig in 6-10 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

Types for Proofs and Programs
48,99 €
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