Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Harald Søndergaard (u. a.) | Logic-Based Program Synthesis and Transformation

Ø 0.0

0 Bewertungen

58,95 €

Titel: Logic-Based Program Synthesis and Transformation | Zusatz: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9¿10, 2024, Proceedings | Medium: Taschenbuch | Redaktion: Harald Søndergaard (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xvi / 241 S. / 38 s/w Illustr. / 19 farbige Illustr. / 241 p. 57 illus. / 19 illus. in color. | Ausstattung / Beilage: Paperback | Auflage: 2024 | Sprache: Englisch | Seiten: 260 | Reihe: Lecture Notes in Computer Science | Maße: 235 x 155 x 15 mm | Erschienen: 07.09.2024 | Anbieter: Faboplay.

Jetzt bei Ebay:

Publikationsname:

Logic-Based Program Synthesis and Transformation
Autor:

Harald Søndergaard
Produktart:

Mathematik
Buchreihe:

Lecture Notes in Computer Science
Erscheinungsjahr:

2024
Sprache:

Englisch
Anzahl der Seiten:

260
Marke:

Springer Nature Switzerland, Lecture Notes in Computer Science
Hersteller:

Springer Nature Switzerland, Lecture Notes in Computer Science
Verlag:

Springer Nature Switzerland, Lecture Notes in Computer Science
Format:

Taschenbuch
Genre:

Mathematik, Naturwissenschaften, Technik, Medizin
Ausgabe:

2024
Titelzusatz:

34th International Symposium, LOPSTR 2024, Milan, Italy, Septembe
Schlagworte:

Informatik, Theoretische Informatik, EDV
Redaktion:

Harald Søndergaard
Herstellungsland und -region:

Deutschland
ISBN:

3031712935

Standardversand:

DHL Paket 2,95 EUR - Lieferung zwischen 22. May 2025 und 23. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere