Formal Methods: Applications and Technology

Format:

e-book

Title:

Formal Methods: Applications and Technology

Author:

Brim, Luboš; Haverkort, Boudewijn; Haverkort, Boudewijn R.; Leucker, Martin; Pol, Jaco; Pol, J. van den; Pol, Jaco van de

Language:

English

Publisher:

Springer Berlin Heidelberg 2007

ISBN:

3-540-70951-7
9786610935772
1-280-93577-4
3-540-70952-5

Subject:

Information Technology Software Engineering

Permalink:

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