![Concise Guide to Software Verification Concise Guide to Software Verification](https://bilder.buecher.de/produkte/71/71322/71322205m.jpg)
Broschiertes Buch
From Model Checking to Annotation Checking
2023
26. Juli 2024
Springer / Springer International Publishing / Springer, Berlin
978-3-031-30169-8
Gebundenes Buch | 65,99 € | |
eBook, PDF | 48,95 € |
![Concise Guide to Software Verification Concise Guide to Software Verification](https://bilder.buecher.de/produkte/67/67541/67541418m.jpg)
Gebundenes Buch
From Model Checking to Annotation Checking
2023
25. Juli 2023
Springer / Springer International Publishing / Springer, Berlin
978-3-031-30166-7
![Concise Guide to Software Verification (eBook, PDF) Concise Guide to Software Verification (eBook, PDF)](https://bilder.buecher.de/produkte/68/68482/68482366m.jpg)
eBook, PDF
24. Juli 2023
Springer International Publishing
![Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Construction and Analysis of Safe, Secure, and Interoperable Smart Devices](https://bilder.buecher.de/produkte/23/23449/23449822m.jpg)
Broschiertes Buch
International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
2005
21. Januar 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11375197,978-3-540-24287-1
eBook, PDF | 40,95 € |
Ähnliche Artikel
![Guide to Software Verification with Frama-C Guide to Software Verification with Frama-C](https://bilder.buecher.de/produkte/69/69880/69880363m.jpg)
Gebundenes Buch
Core Components, Usages, and Applications
2024
10. Juli 2024
Springer / Springer International Publishing / Springer, Berlin
978-3-031-55607-4
![Concise Guide to Quantum Computing Concise Guide to Quantum Computing](https://bilder.buecher.de/produkte/60/60465/60465190m.jpg)
Gebundenes Buch
Algorithms, Exercises, and Implementations
1st edition 2021
25. Februar 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-65051-3
![Concise Guide to Quantum Computing Concise Guide to Quantum Computing](https://bilder.buecher.de/produkte/63/63363/63363607m.jpg)
Broschiertes Buch
Algorithms, Exercises, and Implementations
1st edition 2021
25. Februar 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-030-65054-4
![Concise Guide to Software Engineering Concise Guide to Software Engineering](https://bilder.buecher.de/produkte/63/63985/63985917m.jpg)
Broschiertes Buch
From Fundamentals to Application Methods
2. Aufl.
25. September 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-031-07815-6
![Concise Guide to Software Testing Concise Guide to Software Testing](https://bilder.buecher.de/produkte/57/57078/57078007m.jpg)
Broschiertes Buch
1st edition 2019
11. Oktober 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-28493-0
![Concise Guide to Numerical Algorithmics Concise Guide to Numerical Algorithmics](https://bilder.buecher.de/produkte/66/66201/66201863m.jpg)
Broschiertes Buch
The Foundations and Spirit of Scientific Computing
1st ed. 2023
3. Januar 2023
Springer / Springer International Publishing / Springer, Berlin
978-3-031-21761-6
![Concise Guide to Databases Concise Guide to Databases](https://bilder.buecher.de/produkte/58/58564/58564153m.jpg)
Broschiertes Buch
A Practical Introduction
2. Aufl.
21. Mai 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-42223-3
![Concise Guide to Object-Oriented Programming Concise Guide to Object-Oriented Programming](https://bilder.buecher.de/produkte/54/54906/54906060m.jpg)
Broschiertes Buch
An Accessible Approach Using Java
1st edition 2019
2. Mai 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-13303-0
![Concise Guide to Computing Foundations Concise Guide to Computing Foundations](https://bilder.buecher.de/produkte/53/53579/53579206m.jpg)
Broschiertes Buch
Core Concepts and Select Scientific Applications
Softcover reprint of the original 1st ed. 2016
16. Juni 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-80694-5
Ähnlichkeitssuche: Fact®Finder von OMIKRON