Beispielbild für diese ISBNMaschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
von H. Stoyan Verlag: Springer Berlin Heidelberg
1984 Kartoniert, 376 Seiten, 244mm x 170mm x 21mm, Sprache(n): ger
54,99 EUR
Automatische Transformation großer Softwaresysteme. - Berichte aus der Softwaretechnik
von Andreas Ludwig Verlag: Aachen : Shaker,
2002. kart. V, 212 S. : graph. Darst. ; 21 cm, 330 gr. Alles sauber und gut erhalten.
Beispielbild für diese ISBNAutonomische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
von Werner Hans Verlag: Kovac, Dr. Verlag,
1996. Gebrauchs- und Lagerspuren. AuÃ?en: verschmutzt, angestoÃ?en. Innen: Geknickt. 369127/3
- Sonderaktion: 10% Rabatt bis 05.11.2026
42,36 EUR
38,12 EUR
Logic based program synthesis and transformation : 13th international workshop ; revised selected p…
von Maurice Bruynooghe Verlag: Berlin etc. : Springer
2004. Softcover/Paperback. X, 232 S. : ill. ; 24 cm. Sehr guter Zustand. In Folie verschweißt. Very good. Shrink wrapped.
13,50 EUR
Beispielbild für diese ISBNNon-Monotonic Extensions of Logic Programming - ICLP '94 Workshop, Santa Margherita Ligure, Italy,…
Verlag: Springer
1995 Kartoniert, 248 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng
60,88 EUR
Algorithmische Sprache und Programmentwicklung
von F.L. Bauer H. Partsch Verlag: Springer Berlin,
Softcover reprint of the original 2nd ed. 1984 2013. Gepflegter, sauberer Zustand. 24081107/2
- Sonderaktion: 10% Rabatt bis 05.11.2026
23,00 EUR
20,70 EUR
Beispielbild für diese ISBNAlgorithmische Sprache und Programmentwicklung
von F. L. Bauer, H. Wössner Verlag: Springer
2013 Kartoniert, 536 Seiten, 244mm x 170mm x 29mm, Sprache(n): ger
49,99 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 ISBNProgramming Languages and Systems - ESOP '96 - 6th European Symposium on Programming, Linköping, S…
Verlag: Springer
1996 Kartoniert, 424 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng
60,88 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
- Stichwörter
- Programmtransformation
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!
