Beispielbild für diese ISBNVerification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2…
Verlag: Springer
2008 Kartoniert, 396 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNProgramming Languages and Systems - 14th European Symposium on Programming, ESOP 2005, Held as Par…
Verlag: Springer
2005 Kartoniert, 460 Seiten, 235mm x 155mm x 25mm, Sprache(n): eng Also available online
60,88 EUR
Beispielbild für diese ISBNAlgebraic Methodology and Software Technology - 8th International Conference, AMAST 2000 Iowa City…
Verlag: Springer
2000 Kartoniert, 564 Seiten, 235mm x 155mm x 31mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
121,78 EUR
Beispielbild für diese ISBNTools and Algorithms for the Construction and Analysis of Systems - 8th International Conference,…
Verlag: Springer
2002 Kartoniert, 500 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNRewriting Techniques and Applications - 11th International Conference, RTA 2000, Norwich, UK, July…
Verlag: Springer
2000 Kartoniert, 292 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNMathematics of Program Construction - 5th International Conference, MPC 2000 Ponte de Lima, Portug…
Verlag: Springer
2000 Kartoniert, 272 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNFoundations of Software Science and Computation Structures - 17th International Conference, FOSSAC…
Verlag: Springer
2014 Kartoniert, 476 Seiten, 235mm x 155mm x 26mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNProgramming Languages and Systems - 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-…
Verlag: Springer
2008 Kartoniert, 356 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNBusiness Intelligence, Computational Mathematics, and Data Analytics - First International Confere…
Verlag: Springer
2025 Kartoniert, 256 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng
158,32 EUR
Beispielbild für diese ISBNTypes for Proofs and Programs - Second International Workshop, TYPES 2002, Berg en Dal, The Nether…
Verlag: Springer
2003 Kartoniert, 344 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng