Fachbuch: Validierung und Verifikation


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

Test Driven Development for Embedded C
33,99 €
Versandfertig in ca. 2 Wochen
Versandkostenfrei*
James W Grenning
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
April 2011
O'Reilly / Pragmatic Programmers

Test Driven Development. By Example
34,99 €
Versandfertig in ca. 2 Wochen
Versandkostenfrei*
Kent Beck
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Dezember 2002
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

Enterprise Integration Patterns
55,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

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

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

Git
39,90 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei*
Bernd Öggl
Michael Kofler
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Projektverwaltung für Entwickler und DevOps-Teams. Inkl. Praxistipps und Git-Kommandoreferenz
2., überarb. Aufl.
5. Mai 2022
Rheinwerk Computing / Rheinwerk Verlag
459/08845

Industrieroboter
59,80 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in ca. 2 Wochen
Versandkostenfrei*
Gunther Reinhart
Alejandro Magaña Flores
Carola Zwicker
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Planung - Integration - Trends Ein Leitfaden für KMU
Juli 2018
Vogel Communications Group

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

Programmentwicklung und Verifikation
69,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Gerald Futschek
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1989.
23. März 1989
Springer, Wien

Deductive Program Design
154,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Broy
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1996.
18. Juni 1996
Springer, Berlin

Computer-Aided Verification
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Edmund M. Clarke / Robert P. Kurshan (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
1991.
2. Oktober 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54477-7

Building Tightly Integrated Software Development Environments: The IPSEN Approach
77,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Nagl
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1996.
13. November 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61985-7

Formal Methods for the Design of Real-Time Systems
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Marco Bernardo / Flavio Corradini (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
2004
1. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315995,978-3-540-23068-7

Formal Methods for Components and Objects
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Frank S. de Boer / Marcello M. Bonsangue / Susanne Graf / Willem-Paul de Roever
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
2006
10. August 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11804192,978-3-540-36749-9

PASCAL-XSC
54,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Rudi Klatte
Ulrich Kulisch
Michael Neaga
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Sprachbeschreibung mit Beispielen
1991
29. Mai 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-53714-4

Diagnóstico y Verificación de Características Metrológicas en los Sensores de los Módulos del Laboratorio de Control UAM
47,95 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Rubén Darío Cárdenas Espinosa
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Diagnosis and Verification Features Metrológicas Sensors in the Modules Control Laboratory UAM
2. Aufl.
4. Januar 2011
GRIN Verlag

Verification and Control of Hybrid Systems (eBook, PDF)
89,95 €
Sofort per Download lieferbar
Versandkostenfrei
Paulo Tabuada
  (Aktuell noch keine Bewertungen)
eBook, PDF
12. Juni 2009
Springer-Verlag GmbH

Software Engineering and Formal Methods
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
2014
4. August 2014
Springer / Springer International Publishing / Springer, Berlin
978-3-319-10430-0

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
2014
7. Oktober 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-45230-1

Distributed, Parallel and Biologically Inspired Systems
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
2010
20. November 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-42292-8

Mathematics of Program Construction
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
2015
12. Juni 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-19796-8

Rigorous Software Development (eBook, PDF)
28,95 €
Sofort per Download lieferbar
Versandkostenfrei
José Bacelar Almeida
Maria João Frade
Jorge Sousa Pinto
…mehr Autoren
Simão Melo de Sousa
  (Aktuell noch keine Bewertungen)
eBook, PDF
4. Januar 2011
Springer-Verlag GmbH

Types for Proofs and Programs (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
  (Aktuell noch keine Bewertungen)
eBook, PDF
7. Mai 2008
Springer-Verlag GmbH