Beispielbild für diese ISBNProgrammverifikation - Sequentielle, parallele und verteilte Programme
von Krzysztof R. Apt, Ernst-Rüdiger Olderog Verlag: Springer
1994 Kartoniert, 272 Seiten, 235mm x 155mm x 15mm, Sprache(n): ger
29,95 EUR
Beispielbild für diese ISBNInformatik und Mathematik
Verlag: Springer Berlin
1. 2011 Broschiert 450 S. Gebrauchtes Exemplar in insgesamt gutem Erhaltungszustand mit Lesespuren und Knicke. Möglicherweise vorhandene Vorbesitzervermerke. Es können Abweichungen in Auflage, Schutzumschlag oder Coverabbildung zum Abbildungsexemplar vorliegen. Bitte rechnen Sie mit möglichen gewi…
71,17 EUR
Beispielbild für diese ISBNSpecification and Transformation of Programs - A Formal Approach to Software Development
von Helmut A. Partsch Verlag: Springer
1990 Gebunden, 516 Seiten, 260mm x 183mm x 33mm, Sprache(n): eng
59,91 EUR
Beispielbild für diese ISBNLogic Program Synthesis and Transformation - Meta-Programming in Logic - 4th International Worksho…
Verlag: Springer
1994 Kartoniert, 468 Seiten, 235mm x 155mm x 26mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNÜbersetzerbau - Band 3: Analyse und Transformation
von Helmut Seidl, Reinhard Wilhelm, Sebastian Hack Verlag: Springer
2010 Kartoniert, 188 Seiten, 235mm x 155mm x 11mm, Sprache(n): ger Dieses Buch behandelt die Optimierungsphase von Übersetzern. In dieser Phase werden Programme zur Effizienzsteigerung transformiert. Damit die Semantik der Programme bei diesen Transformationen erhalten bleibt, müssen jeweils zug…
25,00 EUR
Beispielbild für diese ISBNApplications of Declarative Programming and Knowledge Management - 19th International Conference,…
Verlag: Springer
2013 Kartoniert, 380 Seiten, 235mm x 155mm x 21mm, Sprache(n): eng Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAPProceedings of the 25th Workshop on Logic Programming, WLP 2011Includes supplementary material: sn.pub/extr…
60,88 EUR
Beispielbild für diese ISBNAlgebraic Semantics
von I. Guessarian Verlag: Springer
1981 Kartoniert, 176 Seiten, 235mm x 155mm x 10mm, Sprache(n): eng
24,34 EUR
Beispielbild für diese ISBNMeta-Programming and Model-Driven Meta-Program Development - Principles, Processes and Techniques
von Vytautas ¿Tuikys, Robertas Dama¿evi¿ius Verlag: Springer
2014 Kartoniert, 344 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng Focuses on the meta-program development processes in the context of model-driven, feature-based and transformation approaches Provides an insight into the technology to build domain program generators Contains original research…
121,78 EUR
Beispielbild für diese ISBNLogic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR'98, Manchest…
Verlag: Springer
1999 Kartoniert, 348 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNRecommendation Systems in Software Engineering
Verlag: Springer
2016 Kartoniert, 576 Seiten, 235mm x 155mm x 31mm, Sprache(n): eng First book to highlight recommendation systems in high-tech fields in general and in software engineering in particular Unique focus on systems issues like system architectures, specific applications and evaluation studies Addi…
