![Semantics with Applications: An Appetizer Semantics with Applications: An Appetizer](https://bilder.buecher.de/produkte/20/20924/20924649m.jpg)
Broschiertes Buch
2007 edition
27. April 2007
Springer / Springer London / Springer, Berlin
11891345,978-1-84628-691-9
![Static Analysis Static Analysis](https://bilder.buecher.de/produkte/23/23037/23037288m.jpg)
Broschiertes Buch
14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
2007
9. August 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12103201,978-3-540-74060-5
![Type and Effect Systems: Behaviours for Concurrency Type and Effect Systems: Behaviours for Concurrency](https://bilder.buecher.de/produkte/21/21661/21661795m.jpg)
Gebundenes Buch
15. März 1999
World Scientific Publishing Company
![Formal Methods Formal Methods](https://bilder.buecher.de/produkte/54/54415/54415765m.jpg)
Gebundenes Buch
An Appetizer
1st ed. 2019
25. Juli 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-05155-6
![Two-Level Functional Languages Two-Level Functional Languages](https://bilder.buecher.de/produkte/29/29425/29425556m.jpg)
Gebundenes Buch
11. November 2014
Cambridge University Press
Broschiertes Buch | 58,99 € |
![Two-Level Functional Languages Two-Level Functional Languages](https://bilder.buecher.de/produkte/22/22117/22117732m.jpg)
![Transactions on Computational Systems Biology VII Transactions on Computational Systems Biology VII](https://bilder.buecher.de/produkte/20/20946/20946904m.jpg)
Broschiertes Buch
2006
13. November 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11905455,978-3-540-48837-8
Ähnliche Artikel
![Principles of the Spin Model Checker Principles of the Spin Model Checker](https://bilder.buecher.de/produkte/22/22503/22503976m.jpg)
Broschiertes Buch
2008 edition
8. Januar 2008
Springer / Springer London / Springer, Berlin
11938019,978-1-84628-769-5
![Introduction to the Theory of Programming Languages Introduction to the Theory of Programming Languages](https://bilder.buecher.de/produkte/31/31073/31073339m.jpg)
Broschiertes Buch
2011 edition
15. Dezember 2010
Springer / Springer London / Springer, Berlin
12828067,978-0-85729-075-5
![Fundamental Problems in Computing Fundamental Problems in Computing](https://bilder.buecher.de/produkte/25/25705/25705349m.jpg)
Gebundenes Buch
Essays in Honor of Professor Daniel J. Rosenkrantz
2009 edition
15. April 2009
Springer / Springer Netherlands
11544364,978-1-4020-9687-7
![Programming Languages: Principles and Paradigms Programming Languages: Principles and Paradigms](https://bilder.buecher.de/produkte/26/26873/26873665m.jpg)
Broschiertes Buch
15. April 2010
Springer / Springer London / Springer, Berlin
12550241,978-1-84882-913-8
![Value-Range Analysis of C Programs Value-Range Analysis of C Programs](https://bilder.buecher.de/produkte/23/23236/23236389m.jpg)
Gebundenes Buch
Towards Proving the Absence of Buffer Overflow Vulnerabilities
2008 edition
26. Juni 2008
Springer / Springer London / Springer, Berlin
12069910,978-1-84800-016-2
![Call-By-Push-Value Call-By-Push-Value](https://bilder.buecher.de/produkte/22/22300/22300191m.jpg)
Gebundenes Buch
A Functional/Imperative Synthesis
2003
30. November 2003
Springer / Springer Netherlands
978-1-4020-1730-8
![Agile Visualization with Pharo Agile Visualization with Pharo](https://bilder.buecher.de/produkte/61/61846/61846039m.jpg)
Broschiertes Buch
Crafting Interactive Visual Support Using Roassal
1st ed.
28. November 2021
Apress / Springer, Berlin
978-1-4842-7160-5
![Learn to Tango with D Learn to Tango with D](https://bilder.buecher.de/produkte/23/23255/23255761m.jpg)
Ähnlichkeitssuche: Fact®Finder von OMIKRON