Fachbuch: Validierung und Verifikation
Broschiertes Buch
A Handbook of Agile Software Craftsmanship
17th print.
März 2009
Pearson Education
Broschiertes Buch
Grundlagen und Best Practices für das Deployen von Software mit Containern
Übersetzung der 3. Auflage
1. Februar 2024
O'Reilly / dpunkt
Gebundenes Buch
1. Aufl. 2021
24. Juli 2021
Springer Berlin Heidelberg / Springer Vieweg / Springer, Berlin
978-3-662-50262-4
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
Broschiertes Buch
Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
1997.
20. März 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10549404,978-3-540-62790-6
Broschiertes Buch
1999.
17. September 1999
Springer / Springer London / Springer, Berlin
978-1-85233-640-0
Broschiertes Buch
Proof Theories for Networks of Processes, and Their Relationship
1989.
22. Februar 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-50845-8
Gebundenes Buch
Experiences from an Industrial Showcase
1. Auflage
1. April 2005
Wiley & Sons
Broschiertes Buch
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
2003
13. Januar 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20813-6
Broschiertes Buch
Eine Einführung in die Informatik
1993.
1. Januar 1993
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-05248-5
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2001
1. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-08759-2
Broschiertes Buch
5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
2014
23. September 2014
Springer / Springer International Publishing / Springer, Berlin
978-3-319-11163-6
Broschiertes Buch
2011
1. Oktober 2014
Springer / Springer New York / Springer, Berlin
978-1-4899-9430-1
Broschiertes Buch
21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
2015
8. April 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-46680-3
Broschiertes Buch
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
1st ed. 2015
11. September 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-23819-7
eBook, PDF
9. Juni 2015
Springer / Springer International Publishing
Broschiertes Buch
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
1995.
23. November 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60630-7
Broschiertes Buch
6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings
1997.
1. Dezember 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10652702,978-3-540-63888-9
Broschiertes Buch
Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
1996.
20. März 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61042-7
Broschiertes Buch
A Practical Guide to Successful Software Projects
5. Juli 2005
Pragmatic Programmers
Broschiertes Buch
An Overview of Current Research Trends
2005
12. Dezember 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11591962,978-3-540-30644-3