Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App

Programmtransformation [Stichwörter]

(99 Ergebnisse)
Stichwörter
Programmtransformation
Stichwörter: Programmtransformation
Neuware
Formal Methods and Software Engineering  - 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ProceedingsBeispielbild für diese ISBN

Formal Methods and Software Engineering - 4th International Conference on Formal Engineering Metho…

Verlag: Springer

2002 Kartoniert, 648 Seiten, 235mm x 155mm x 35mm, Sprache(n): eng Includes supplementary material: sn.pub/extras

Neu
Bestell-Nr.: A2968985
ISBN: 3540000291
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

121,78 EUR

Kostenloser Versand
Neuware
Mathematics of Program Construction  - 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, ProceedingsBeispielbild für diese ISBN

Mathematics of Program Construction - 4th International Conference, MPC'98, Marstrand, Sweden, Jun…

Verlag: Springer

1998 Kartoniert, 404 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng Includes supplementary material: sn.pub/extras

Neu
Bestell-Nr.: A5463723
ISBN: 3540645918
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

60,88 EUR

Kostenloser Versand
Neuware
Foundation of Software Science and Computation Structures  - Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 ProceedingsBeispielbild für diese ISBN

Foundation of Software Science and Computation Structures - Third International Conference, FOSSAC…

Verlag: Springer

2000 Kartoniert, 408 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng Includes supplementary material: sn.pub/extras

Neu
Bestell-Nr.: A5591965
ISBN: 3540672575
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

60,88 EUR

Kostenloser Versand
Neuware
Logic-Based Program Synthesis and Transformation  - 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings

Logic-Based Program Synthesis and Transformation - 35th International Symposium, LOPSTR 2025, Rend…

Verlag: Springer

2025 Kartoniert, 224 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng

Neu
Bestell-Nr.: A63256532
ISBN: 3032048478
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

70,63 EUR

Kostenloser Versand
Neuware
Logic-Based Program Synthesis and Transformation  - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, ProceedingsBeispielbild für diese ISBN

Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Casc…

Verlag: Springer

2023 Kartoniert, 224 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng

Neu
Bestell-Nr.: A47894311
ISBN: 3031457838
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

66,97 EUR

Kostenloser Versand
Neuware
Formal Methods for Industrial Critical Systems  - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, ProceedingsBeispielbild für diese ISBN

Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw…

Verlag: Springer

2022 Kartoniert, 256 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng

Neu
Bestell-Nr.: A44689555
ISBN: 3031150074
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

85,24 EUR

Kostenloser Versand
Neuware
Static Analysis  - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, ProceedingsBeispielbild für diese ISBN

Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Pro…

Verlag: Springer

2016 Kartoniert, 524 Seiten, 235mm x 155mm x 29mm, Sprache(n): eng Includes supplementary material: sn.pub/extras

Neu
Bestell-Nr.: A27294786
ISBN: 3662534126
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

60,88 EUR

Kostenloser Versand
Neuware
The Essence of Computation  - Complexity, Analysis, Transformation. Essays Dedicated to Neil D. JonesBeispielbild für diese ISBN

The Essence of Computation - Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jon…

3,67 Ødurchschnittliche Bewertung · 3 Bewertungen bei Goodreads

Verlag: Springer

2002 Kartoniert, 492 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng Includes supplementary material: sn.pub/extras

Neu
Bestell-Nr.: A3006402
ISBN: 3540003266
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

60,88 EUR

Kostenloser Versand
Neuware
Semantics, Applications, and Implementation of Program Generation  - Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. ProceedingsBeispielbild für diese ISBN

Semantics, Applications, and Implementation of Program Generation - Second International Workshop,…

Verlag: Springer

2001 Kartoniert, 236 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng Includes supplementary material: sn.pub/extras

Neu
Bestell-Nr.: A2493735
ISBN: 3540425586
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

60,88 EUR

Kostenloser Versand
Neuware
Fundamental Approaches to Software Engineering  - Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 ProceedingsBeispielbild für diese ISBN

Fundamental Approaches to Software Engineering - Third International Conference, FASE 2000 Held as…

Verlag: Springer

2000 Kartoniert, 396 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng Includes supplementary material: sn.pub/extras

Neu
Bestell-Nr.: A5476920
ISBN: 3540672613
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

60,88 EUR

Kostenloser Versand