The Logic of Software. A Tasting Menu of Formal Methods Wolfgang Ahrendt
106,99 €
Titel: The Logic of Software. A Tasting Menu of Formal Methods, Untertitel: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, Einband: Taschenbuch, Autor: Wolfgang Ahrendt, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 536, Maße: 235x155x29 mm, Gewicht: 803 g, Verkäufer: buch-mimpf, Schlagworte: computer programming Computer Systems databases Embedded Systems formal logic model checking Object-oriented programming software architecture Software Design Software Engineering software quality Verification and Validation.
Jetzt bei Ebay:
