![Mathematical Foundations of Computer Science 1991 Mathematical Foundations of Computer Science 1991](https://bilder.buecher.de/produkte/09/09247/09247153m.jpg)
40,99 €
Versandkostenfrei*Broschiertes Buch
16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
1991.
7. August 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54345-9
![Foundations of Algebraic Specification and Formal Software Development Foundations of Algebraic Specification and Formal Software Development](https://bilder.buecher.de/produkte/40/40707/40707763n.jpg)
Broschiertes Buch
2012
1. März 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-44065-6
Gebundenes Buch | 82,99 € |
![Foundations of Algebraic Specification and Formal Software Development Foundations of Algebraic Specification and Formal Software Development](https://bilder.buecher.de/produkte/32/32109/32109299m.jpg)
Gebundenes Buch
2012
30. Dezember 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
80027790,978-3-642-17335-6
![Computer Science Logic Computer Science Logic](https://bilder.buecher.de/produkte/14/14746/14746674m.jpg)
40,99 €
Versandkostenfrei*Broschiertes Buch
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
2004
2. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315872,978-3-540-23024-3
![Recent Trends in Data Type Specification Recent Trends in Data Type Specification](https://bilder.buecher.de/produkte/09/09248/09248206m.jpg)
Broschiertes Buch
Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers
1988.
26. Oktober 1988
Springer, Berlin
![FM 2005: Formal Methods FM 2005: Formal Methods](https://bilder.buecher.de/produkte/23/23391/23391703m.jpg)
Broschiertes Buch
International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
2005
4. Juli 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-27882-5
![Automata, Languages and Programming Automata, Languages and Programming](https://bilder.buecher.de/produkte/22/22948/22948523m.jpg)
Broschiertes Buch
34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings
2007
29. Juni 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12085491,978-3-540-73419-2
Ähnliche Artikel
Ähnlichkeitssuche: Fact®Finder von OMIKRON