Formal Methods for Executable Software Models

Type:

e-book

Titel:

Formal Methods for Executable Software Models

Auteur:

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer; Damiani, Ferruccio; Haehnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina

Taal:

Engels

Uitgever:

Springer International Publishing 2014

ISBN:

3-319-07316-8
3-319-07317-6

Permalink:

http://bibtest.howest.be/catalog/ebk03:3710000000119155