Logic-Based Program Synthesis and Transformation Maribel Fernández
80,24 €
Titel: Logic-Based Program Synthesis and Transformation, Untertitel: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings, Einband: Taschenbuch, Autor: Maribel Fernández, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 356, Maße: 235x155x20 mm, Gewicht: 540 g, Verkäufer: buch-mimpf, Schlagworte: Embedded Systems Logic Programming NLP Software Design Software Engineering Verification and Validation computer programming distributed computer systems formal languages formal logic linguistics natural language processing parallel processing systems software notations and tools software quality theory of computation.
Jetzt bei Ebay:
