Beispielbild für diese ISBNFormal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw…
Verlag: Springer
2022 Kartoniert, 256 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng
85,24 EUR
Beispielbild für diese ISBNLogic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Casc…
Verlag: Springer
2023 Kartoniert, 224 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng
66,97 EUR
Beispielbild für diese ISBNStatic Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Pro…
Verlag: Springer
2016 Kartoniert, 524 Seiten, 235mm x 155mm x 29mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNThe Essence of Computation - Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jon…
Verlag: Springer
2002 Kartoniert, 492 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNSemantics, Applications, and Implementation of Program Generation - Second International Workshop,…
Verlag: Springer
2001 Kartoniert, 236 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNFundamental Approaches to Software Engineering - Third International Conference, FASE 2000 Held as…
Verlag: Springer
2000 Kartoniert, 396 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNObjects, Components, Models and Patterns - 46th International Conference, TOOLS EUROPE 2008, Zuric…
Verlag: Springer
2008 Kartoniert, 424 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNInductive Logic Programming - 24th International Conference, ILP 2014, Nancy, France, September 14…
Verlag: Springer
2015 Kartoniert, 224 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
58,45 EUR
Beispielbild für diese ISBNStatic Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September…
Verlag: Springer
2017 Kartoniert, 488 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNLogic Program Synthesis and Transformation - 5th International Workshop, LOPSTR'95, Utrecht, The N…
Verlag: Springer
1996 Kartoniert, 284 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng
