Fachbuch: Validierung und Verifikation


Git - kurz & gut
14,90 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei*
Nina Siessegger
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2. Aufl.
Februar 2024
O'Reilly / dpunkt

Clean Coder (eBook, PDF)
34,99 €
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 Verlags GmbH & Co. KG

Working Effectively with Legacy Code
57,99 €
Versandfertig in ca. 2 Wochen
Versandkostenfrei*
Michael C. Feathers
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Oktober 2004
Prentice Hall Press

Test Driven Development. By Example
43,99 €
Versandfertig in ca. 2 Wochen
Versandkostenfrei*
Kent Beck
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Dezember 2002
Pearson Education

Praxiswissen Docker
44,90 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei*
Sean Kane
Karl Matthias
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Grundlagen und Best Practices für das Deployen von Software mit Containern
Übersetzung der 3. Auflage
1. Februar 2024
O'Reilly / dpunkt

Test Driven Development for Embedded C
29,99 €
Sofort lieferbar
Versandkostenfrei*
James W. Grenning
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
April 2011
O'Reilly / Pragmatic Programmers

Enterprise Integration Patterns
54,99 €
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 Code
39,99 €
Sofort lieferbar
Versandkostenfrei*
Robert C. Martin
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Handbook of Agile Software Craftsmanship
17th print.
März 2009
Pearson Education

IT-Berufe. Programmentwicklung in C/C++ mit Visual Studio. Schülerband
34,50 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei*
Norbert Michelmann
Rolf Hettwer
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6. Aufl.
Mai 2016
Bildungsverlag EINS
6800

Die Kunst der agilen Entwicklung - Aus dem Englischen von Wolf-Gideon Bleek und Tim Müller
49,90 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei*
James Shore
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Grundlagen, Methoden und Praktiken
9. Januar 2023
dpunkt

The Analysis of Concurrent Systems
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Denvir
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Cambridge, September 12-16, 1983. Proceedings
1985.
1. Dezember 1985
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-16047-2

System Development and Ada
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Habermann
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings
1987.
23. September 1987
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-18341-9

Foundations of Software Science and Computation Structures
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Wolfgang Thomas (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
1999.
10. März 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10703105,978-3-540-65719-4

Algebraic Methodology and Software Technology
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Charles Rattray / Savitri Maharaj (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
2004
24. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11019428,978-3-540-22381-8

The Future of Software Engineering
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2011
21. Oktober 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-15186-6

Enterprise Application Integration (eBook, PDF)
21,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
William A. Ruh
Francis X. Maginnis
William J. Brown
  (Aktuell noch keine Bewertungen)
eBook, PDF
28. Februar 2002
John Wiley & Sons

Softwareentwicklung für die Feldbussysteme - INTERBUS, PROFIBUS, CAN und ETHERNET (eBook, PDF)
74,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Christian Aschauer
  (Aktuell noch keine Bewertungen)
eBook, PDF
31. März 2005
Diplomica Verlag

Automated Technology for Verification and Analysis
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
2014
29. September 2014
Springer / Springer International Publishing / Springer, Berlin
86382662,978-3-319-11935-9

Architecture Description Languages
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France
2005
22. November 2014
Springer / Springer US / Springer, Berlin
978-1-4614-9895-7

Formal Methods for Multicore Programming
36,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
2015
19. Mai 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-18940-6

Dependable Software Engineering: Theories, Tools, and Applications
36,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
1st ed. 2015
27. Oktober 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-25941-3

Software Engineering and Formal Methods (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
  (Aktuell noch keine Bewertungen)
eBook, PDF
23. August 2015
Springer-Verlag GmbH

Formal Approaches to Agent-Based Systems (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
  (Aktuell noch keine Bewertungen)
eBook, PDF
25. Januar 2005
Springer-Verlag GmbH

Language and Automata Theory and Applications (eBook, PDF)
73,95 €
Sofort per Download lieferbar
Versandkostenfrei
  (Aktuell noch keine Bewertungen)
eBook, PDF
10. Mai 2010
Springer-Verlag GmbH

Hardware and Software: Verification and Testing (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
  (Aktuell noch keine Bewertungen)
eBook, PDF
3. November 2014
Springer-Verlag GmbH