Logic-Based Program Synthesis and Transformation Annalisa Bossi
53,49 €
Titel: Logic-Based Program Synthesis and Transformation, Untertitel: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers, Einband: Taschenbuch, Autor: Annalisa Bossi, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 328, Maße: 235x155x18 mm, Gewicht: 499 g, Verkäufer: buch-mimpf, Schlagworte: Informatik Logikprogrammierung Computational Logic Constraint Programming Formal Methods Program Verification Functional Programming Imperative Programming Logic Programming Program Synthesis debugging extension formal method logic model checking program analysis programming verification.
Jetzt bei Ebay:
