Broschiertes Buch
An Introduction to Program Verification
2. Aufl.
1. September 2025
Springer / Springer London / Springer, Berlin
978-1-4471-7557-5
26,99 €
Versandfertig in 6-10 Tagen
Broschiertes Buch
An Introduction to Program Verification
2011 edition
7. Januar 2011
Springer / Springer London / Springer, Berlin
12243228,978-0-85729-017-5
| eBook, PDF | 28,95 € |
28,95 €
Sofort per Download lieferbar
Ähnliche Artikel
Broschiertes Buch
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
2009
14. Juli 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12716449,978-3-642-03152-6
Broschiertes Buch
3. Aufl.
17. Juni 2012
Springer / Springer London / Springer, Berlin
86071174,978-1-4471-4128-0
Broschiertes Buch
With Practical Automated Reasoning and Verification
1st edition 2021
5. Dezember 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-030-87884-9
Gebundenes Buch
With Practical Automated Reasoning and Verification
1st edition 2021
4. Dezember 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-87881-8
Broschiertes Buch
A Beginner's Guide
2. Dezember 2024
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-69233-8
Broschiertes Buch
The Art of Thinking Abstractly and Mathematically
1st ed. 2021
11. Februar 2021
Springer / Springer International Publishing / Springer, Berlin / Universitetforlaget
978-3-030-63776-7
Broschiertes Buch
Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
2009
24. Juni 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12717774,978-3-642-02948-6
Broschiertes Buch
An Accessible Introduction to the History, Theory, Logic and Applications
Softcover reprint of the original 1st ed. 2016
22. April 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-83080-3
Broschiertes Buch
9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
1st ed. 2023
15. Mai 2023
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-33162-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON
