FM 2015: Formal Methods

Type:

e-book

Titel:

FM 2015: Formal Methods

Auteur:

Bjørner; Bjørner, Nikolaj; de Boer, Frank

Taal:

Engels

Uitgever:

Springer International Publishing 2015

ISBN:

3-319-19248-5
3-319-19249-3

Permalink:

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