Logic-Based Program Synthesis and Transformation Harald Søndergaard
Ø 0.0
0 Bewertungen
62,05 €
Titel: Logic-Based Program Synthesis and Transformation, Untertitel: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9¿10, 2024, Proceedings, Einband: Taschenbuch, Autor: Harald Søndergaard, Verlag: Springer Nature Switzerland, Sprache: Englisch, Seiten: 260, Maße: 235x155x15 mm, Gewicht: 400 g, Verkäufer: buch-mimpf, Schlagworte: decision procedures declarative programming logic and verification Program Transformation Refactoring rewriting systems software development test data generation.
Jetzt bei Ebay:
-
Verlag:Springer Nature Switzerland
-
Autor:Harald Søndergaard
-
Seiten:260
-
Gewicht:400
-
Einband:Taschenbuch
-
Format:235x155x15 mm
-
Sprache:Englisch
-
Marke:Springer Nature Switzerland
-
Reihe:14919
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:Logic-Based Program Synthesis and Transformation
-
Erscheinungsjahr:20240907
-
Produktart:Bücher
-
Buchtitel:Logic-Based Program Synthesis and Transformation
-
Untertitel:34th International Symposium, LOPSTR 2024, Milan, Italy, Septe...
-
Film-/Fernseh-Titel:Keine Angabe
-
Publikationsname:Logic-Based Program Synthesis and Transformation
-
Musiktitel:Keine Angabe
-
Interpret:Keine Angabe
-
Schlagworte:decision procedures declarative programming logic and verifi...
-
ISBN:9783031712937
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 20. June 2025 und 25. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere
