Logic-Based Program Synthesis and Transformation Wim Vanhoof
Titel: Logic-Based Program Synthesis and Transformation, Untertitel: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7¿8, 2021, Proceedings, Einband: Taschenbuch, Autor: Wim Vanhoof, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 188, Maße: 235x155x11 mm, Gewicht: 295 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence computer programming Computer Systems distributed computer systems formal logic Logic Programming logic-based program development Object-oriented programming parallel processing systems Program analysis and verification program and model manipulation program compilers program composition program testing and certification Programming languages Software Engineering.
Jetzt bei Ebay:
