Theory and Practice of Formal Methods

Full text!
Type:
e-book
Titel:
Theory and Practice of Formal Methods
Auteur:
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen; Bonsangue, Marcello; Johnsen, Einar Broch
Taal:
Engels
Uitgever:
Springer International Publishing 2016
ISBN:
3-319-30733-9
3-319-30734-7
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000627349