Formal Methods

Format:

e-book

Title:

Formal Methods

Author:

Havelund; Bill Roscoe; Erik de Vink; Jan Peleska; de Vink, Erik; Peleska, Jan; Roscoe, Bill

Language:

English

Publisher:

Springer International Publishing 2018

ISBN:

3-319-95581-0
3-319-95582-9

Permalink:

http://bibtest.howest.be/catalog/ebk03:4100000005323262?locale=en