Logic-Based Program Synthesis and Transformation Maurizio Gabbrielli
Titel: Logic-Based Program Synthesis and Transformation, Untertitel: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers, Einband: Taschenbuch, Autor: Maurizio Gabbrielli, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 280, Maße: 235x155x16 mm, Gewicht: 429 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Hardware Computer Systems Embedded Systems Logic Programming Semantics Software Design Software Engineering Verification and Validation computer programming distributed computer systems distributed systems formal logic linguistics mathematics parallel processing systems program compilers software quality verification.
Jetzt bei Ebay:
