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 ISBNDomain-Specific Program Generation - International Seminar, Dagstuhl Castle, Germany, March 23-28,…
Verlag: Springer
2004 Kartoniert, 344 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNCompiler Construction - 11th International Conference, CC 2002, Held as Part of the Joint European…
Verlag: Springer
2002 Kartoniert, 360 Seiten, 235mm x 155mm x 20mm, 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
60,88 EUR
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
Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte…
Verlag: Springer
2016 Kartoniert, 216 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
![Notre-Dame de Paris. - Tome Premier. [Einzelband]. In französischer Sprache.](/produkt-vorschau-bild/49760411/450/290/notre-dame-de-paris.jpg?dataSource=1)
