Formal Methods for Executable Software Models - bib.howest.be

Formal Methods for Executable Software Models

Format:: e-book
Title:: Formal Methods for Executable Software Models
Author:: Marco Bernardo, Ferruccio Damiani, Reiner HÃ¤hnle, Einar Broch Johnsen, Ina Schaefer; Damiani, Ferruccio; Haehnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina
Language:: English
Publisher:: Springer International Publishing 2014
ISBN:: 3-319-07316-8
3-319-07317-6
Permalink:: http://bibtest.howest.be/catalog/ebk03:3710000000119155?locale=en