Rigorous Methods for Software Construction and Analysis

Type:

e-book

Titel:

Rigorous Methods for Software Construction and Analysis

Auteur:

Abrial, Jean-Raymond; Glässer, Uwe; Kanade, Takeo

Taal:

Engels

Uitgever:

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