Rigorous Methods for Software Construction and Analysis

Full text!
Format:
e-book
Title:
Rigorous Methods for Software Construction and Analysis
Author:
Abrial, Jean-Raymond; Glässer, Uwe; Kanade, Takeo
Language:
English
Publisher:
Springer Berlin Heidelberg 2009
ISBN:
3-642-11446-6
9786613563408
3-642-11447-4
1-280-38548-0
Permalink:
http://bibtest.howest.be/catalog/ebk03:2670000000003398?locale=en