Broschiertes Buch
With Isabelle/HOL
Softcover reprint of the original 1st ed. 2014
10. September 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-35759-1
| Gebundenes Buch | 59,99 € | |
| eBook, PDF | 40,95 € |
Gebundenes Buch
With Isabelle/HOL
2014
15. Dezember 2014
Springer / Springer International Publishing / Springer, Berlin
86358573,978-3-319-10541-3
Broschiertes Buch
31. Juli 2006
Cambridge University Press
| eBook, ePUB | 34,95 € | |
| eBook, PDF | 44,95 € |
Broschiertes Buch
A Proof Assistant for Higher-Order Logic
2002
3. April 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10846296,978-3-540-43376-7
| eBook, PDF | 44,95 € |
Broschiertes Buch
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
2001
6. Juni 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42254-9
| eBook, PDF | 73,95 € |
Broschiertes Buch
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-37215-8
| eBook, PDF | 73,95 € |
Ähnlichkeitssuche: Fact®Finder von OMIKRON
