Suchergebnisse für ""Stephan Merz""




Ähnliche Artikel


Program Design Calculi
166,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Broy
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1993.
3. November 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56943-5

Models of Strategic Reasoning
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Logics, Games, and Communities
1st ed. 2015
10. Januar 2016
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-48539-2

Automata, Languages and Programming
30,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977
1977.
11. Juli 1977
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-08342-9

ZB 2003: Formal Specification and Development in Z and B
106,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Didier Bert / Jonathan P. Bowen / Steve King / Marina Waldén (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
2003
20. Mai 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40253-4

Automata Theory and Formal Languages
20,99 €
Versandfertig in 1-2 Wochen
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2nd GI Conference, Kaiserslautern, May 20-23, 1975
1975.
1. September 1975
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-07407-6

Programmieren mit Kara
27,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Raimond Reichert
Jürg Nievergelt
Werner Hartmann
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Ein spielerischer Zugang zur Informatik
2., überarb. u. erw. Aufl.
9. Dezember 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-23819-5

Verification, Model Checking, and Abstract Interpretation
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Agostino Cortesi (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
2002
24. April 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10722206,978-3-540-43631-7

Automata-Theoretic Aspects of Formal Power Series
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Arto Salomaa
Matti Soittola
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1978
23. Oktober 2011
Springer / Springer New York / Springer, Berlin
978-1-4612-6266-4

Mathematical and Engineering Methods in Computer Science
30,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
9th International Doctoral Workshop, MEMICS 2014, Tel¿, Czech Republic, October 17--19, 2014, Revised Selected Papers
2014
26. Januar 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-14895-3

Formal Methods: Foundations and Applications
34,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
2013
13. September 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-41070-3



Ähnlichkeitssuche: Fact®Finder von OMIKRON