From Software Engineering to Formal Methods and Tools, and Back Maurice H. Ter B
Titel: From Software Engineering to Formal Methods and Tools, and Back, Untertitel: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Einband: Taschenbuch, Autor: Maurice H. Ter Beek, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 588, Maße: 235x155x32 mm, Gewicht: 879 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Programming languages Semantics Software Engineering Software Evaluation Software Product Lines Specifications computer architecture formal logic formal methods formal model formal verification model checking natural language processing requirements engineering temporal logic testing theorem proving theoretical computer science verification.
Jetzt bei Ebay:
