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
Programmverifikation - Sequentielle, parallele und verteilte Programme
von Krzysztof R. Apt Verlag: Springer Berlin,
1994 1994. Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen, Geknickt. 16499/3
- Sonderaktion: 10% Rabatt bis 05.11.2026
5,95 EUR
5,35 EUR
Beispielbild für diese ISBNInformatik und Mathematik
Verlag: Springer
2011 Kartoniert, 468 Seiten, 235mm x 155mm x 26mm, Sprache(n): ger
74,99 EUR
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 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 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 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 - Meta-Programming in Logic - 4th International Worksho…
Verlag: Springer
1994 Kartoniert, 468 Seiten, 235mm x 155mm x 26mm, Sprache(n): eng
