Tools and Algorithms for the Construction and Analysis of Systems

Full text!
Format:
e-book
Title:
Tools and Algorithms for the Construction and Analysis of Systems
Author:
Marsha Chechik, Jean-François Raskin; Raskin, Jean-François
Language:
English
Publisher:
Springer Berlin Heidelberg 2016
ISBN:
3-662-49673-9
3-662-49674-7
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000653157?locale=en