Beispielbild für diese ISBNDeductive Software Verification - The KeY Book - From Theory to Practice
Verlag: Springer
2016 Kartoniert, 736 Seiten, 235mm x 155mm x 40mm, Sprache(n): eng Unique visibilityIntegrates classic material and new conceptsWritten by expertsIncludes supplementary material: sn.pub/extras
146,13 EUR
Beispielbild für diese ISBNZB 2003: Formal Specification and Development in Z and B - Third International Conference of B and…
Verlag: Springer
2003 Kartoniert, 568 Seiten, 235mm x 155mm x 31mm, Sprache(n): eng
121,78 EUR
Beispielbild für diese ISBNMathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germa…
Verlag: Springer
2015 Kartoniert, 340 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNFundamental Approaches to Software Engineering - 4th International Conference, FASE 2001 Held as P…
Verlag: Springer
2001 Kartoniert, 364 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNTheoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South…
Verlag: Springer
2018 Kartoniert, 552 Seiten, 235mm x 155mm x 30mm, Sprache(n): eng
97,42 EUR
Beispielbild für diese ISBNInductive Synthesis of Functional Programs - Universal Planning, Folding of Finite Programs, and S…
von Ute Schmid Verlag: Springer
2003 Kartoniert, 424 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNStabilization, Safety, and Security of Distributed Systems - 10th International Symposium, SSS 200…
Verlag: Springer
2008 Kartoniert, 276 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNThe Munich Project CIP - Volume II: The Programme Transformation System CIP-S
Verlag: Springer
1988 Kartoniert, 536 Seiten, 235mm x 155mm x 29mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNLogic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Madr…
Verlag: Springer
2014 Kartoniert, 252 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
58,45 EUR
Beispielbild für diese ISBNFunctional and Logic Programming - 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9…
Verlag: Springer
2004 Kartoniert, 324 Seiten, 235mm x 155mm x 18mm, Sprache(n): eng Also available online
