![Concrete Semantics Concrete Semantics](https://bilder.buecher.de/produkte/45/45679/45679352m.jpg)
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 | 57,99 € |
![Concrete Semantics Concrete Semantics](https://bilder.buecher.de/produkte/41/41203/41203135m.jpg)
Gebundenes Buch
With Isabelle/HOL
2014
15. Dezember 2014
Springer / Springer International Publishing / Springer, Berlin
86358573,978-3-319-10541-3
![Term Rewriting and All That Term Rewriting and All That](https://bilder.buecher.de/produkte/21/21772/21772381m.jpg)
![Isabelle/HOL Isabelle/HOL](https://bilder.buecher.de/produkte/10/10612/10612612m.jpg)
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
![Automated Reasoning Automated Reasoning](https://bilder.buecher.de/produkte/23/23298/23298193m.jpg)
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
![FM 2006: Formal Methods FM 2006: Formal Methods](https://bilder.buecher.de/produkte/20/20947/20947325m.jpg)
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
![Programming Languages and Systems Programming Languages and Systems](https://bilder.buecher.de/produkte/47/47529/47529407m.jpg)
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
![Programming Languages and Systems Programming Languages and Systems](https://bilder.buecher.de/produkte/41/41529/41529387m.jpg)
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
![Programming Languages and Systems Programming Languages and Systems](https://bilder.buecher.de/produkte/39/39716/39716334m.jpg)
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
![Mathematics of Program Construction Mathematics of Program Construction](https://bilder.buecher.de/produkte/42/42710/42710236m.jpg)
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
![Automated Deduction - CADE-25 Automated Deduction - CADE-25](https://bilder.buecher.de/produkte/42/42962/42962441m.jpg)
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
![Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages](https://bilder.buecher.de/produkte/42/42710/42710179m.jpg)
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
![Integrated Formal Methods Integrated Formal Methods](https://bilder.buecher.de/produkte/41/41160/41160502m.jpg)
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
![A List of Successes That Can Change the World A List of Successes That Can Change the World](https://bilder.buecher.de/produkte/44/44519/44519397m.jpg)
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
![Compiler Construction Compiler Construction](https://bilder.buecher.de/produkte/40/40488/40488201m.jpg)
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