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 | 58,99 € |
Gebundenes Buch
With Isabelle/HOL
2014
15. Dezember 2014
Springer / Springer International Publishing / Springer, Berlin
86358573,978-3-319-10541-3
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
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
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
Ähnliche Artikel
Broschiertes Buch
26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22¿29, 2017, Proceedings
1st ed. 2017
19. März 2017
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-54433-4
Broschiertes Buch
12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
2014
23. Oktober 2014
Springer / Springer International Publishing / Springer, Berlin
978-3-319-12735-4
Broschiertes Buch
11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings
2013
18. November 2013
Springer / Springer International Publishing / Springer, Berlin
978-3-319-03541-3
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
Broschiertes Buch
25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
1st ed. 2015
30. Juli 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-21400-9
Broschiertes Buch
17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
2015
1. Juni 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-19685-5
Broschiertes Buch
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
2014
15. September 2014
Springer / Springer International Publishing / Springer, Berlin
86378242,978-3-319-10180-4
Broschiertes Buch
Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
1st ed. 2016
31. März 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-30935-4
Broschiertes Buch
23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
2014
11. März 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-54806-2
Ähnlichkeitssuche: Fact®Finder von OMIKRON