Beispielbild für diese ISBNAdvances in Petri Nets 1992
Verlag: Springer
1992 Kartoniert, 484 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNFST TCS 2003: Foundations of Software Technology and Theoretical Computer Science - 23rd Conferenc…
Verlag: Springer
2003 Kartoniert, 464 Seiten, 235mm x 155mm x 25mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNProgramming Languages and Systems - 13th European Symposium on Programming, ESOP 2004, Held as Par…
Verlag: Springer
2004 Kartoniert, 432 Seiten, 235mm x 155mm x 24mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
158,32 EUR
Beispielbild für diese ISBNFormal Syntax and Semantics of Java
Verlag: Springer
1999 Kartoniert, 420 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNTyped Lambda Calculi and Applications - 6th International Conference, TLCA 2003, Valencia, Spain,…
Verlag: Springer
2003 Kartoniert, 332 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng Also available online
60,88 EUR
Beispielbild für diese ISBNStatic Analysis - 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceed…
Verlag: Springer
2005 Kartoniert, 388 Seiten, 235mm x 155mm x 21mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNProgramming Languages: Implementations, Logics, and Programs - 8th International Symposium, PLILP…
Verlag: Springer
1996 Kartoniert, 500 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNFST TCS 2000: Foundations of Software Technology and Theoretical Science - 20th Conference, New De…
Verlag: Springer
2000 Kartoniert, 552 Seiten, 235mm x 155mm x 30mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNVerification, Model Checking, and Abstract Interpretation - 4th International Conference, VMCAI 20…
Verlag: Springer
2002 Kartoniert, 340 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNAutomated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TA…
Verlag: Springer
2017 Kartoniert, 396 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
