![Functional Programming, Concurrency, Simulation and Automated Reasoning Functional Programming, Concurrency, Simulation and Automated Reasoning](https://bilder.buecher.de/produkte/09/09241/09241897m.jpg)
Broschiertes Buch
International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
1993.
16. Juni 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56883-4
![Specification and Analysis of Concurrent Systems Specification and Analysis of Concurrent Systems](https://bilder.buecher.de/produkte/36/36115/36115191m.jpg)
Broschiertes Buch
The COSY Approach
Softcover reprint of the original 1st ed. 1992
29. Dezember 2011
Springer, Berlin
eBook, PDF | 73,95 € |
![Specification and Analysis of Concurrent Systems (eBook, PDF) Specification and Analysis of Concurrent Systems (eBook, PDF)](https://bilder.buecher.de/produkte/53/53134/53134630m.jpg)
eBook, PDF
6. Dezember 2012
Springer Berlin Heidelberg
![Specification and Analysis of Concurrent Systems Specification and Analysis of Concurrent Systems](https://bilder.buecher.de/produkte/26/26659/26659227n.jpg)
Gebundenes Buch
The COSY Approach
1992
Springer, Berlin
Ähnliche Artikel
![Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning](https://bilder.buecher.de/produkte/32/32210/32210894m.jpg)
Broschiertes Buch
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
2011
4. Januar 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
80028528,978-3-642-17510-7
![Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning](https://bilder.buecher.de/produkte/43/43904/43904240m.jpg)
Broschiertes Buch
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
1st ed. 2015
3. Dezember 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-48898-0
![Functional Programming, Glasgow 1990 Functional Programming, Glasgow 1990](https://bilder.buecher.de/produkte/26/26083/26083649m.jpg)
Broschiertes Buch
Proceedings of the 1990 Glasgow Workshop on Functional Programming 13¿15 August 1990, Ullapool, Scotland
1st Edition
30. April 1991
Springer / Springer London / Springer, Berlin
978-3-540-19667-9
![Automated Reasoning Automated Reasoning](https://bilder.buecher.de/produkte/14/14746/14746628m.jpg)
Broschiertes Buch
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
2004
22. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11018285,978-3-540-22345-0
![Logic Programming and Automated Reasoning Logic Programming and Automated Reasoning](https://bilder.buecher.de/produkte/09/09247/09247280m.jpg)
Broschiertes Buch
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
1993.
29. Juni 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56944-2
![Compositionality, Concurrency, and Partial Correctness Compositionality, Concurrency, and Partial Correctness](https://bilder.buecher.de/produkte/09/09250/09250141m.jpg)
Broschiertes Buch
Proof Theories for Networks of Processes, and Their Relationship
1989.
22. Februar 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-50845-8
![Functional and Logic Programming Functional and Logic Programming](https://bilder.buecher.de/produkte/09/09252/09252348m.jpg)
Broschiertes Buch
4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
1999.
27. Oktober 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10705424,978-3-540-66677-6
![Advanced Functional Programming Advanced Functional Programming](https://bilder.buecher.de/produkte/09/09246/09246446m.jpg)
Broschiertes Buch
Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures
1999.
7. Juli 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704973,978-3-540-66241-9
![Logic Programming and Automated Reasoning Logic Programming and Automated Reasoning](https://bilder.buecher.de/produkte/09/09227/09227584m.jpg)
Broschiertes Buch
6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
1999.
25. August 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704915,978-3-540-66492-5
![Concurrency and Parallelism, Programming, Networking, and Security Concurrency and Parallelism, Programming, Networking, and Security](https://bilder.buecher.de/produkte/09/09233/09233050m.jpg)
Broschiertes Buch
Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2 - 5, 1996, Proceedings
1996.
19. November 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-62031-0
Ähnlichkeitssuche: Fact®Finder von OMIKRON