Search

You searched for: Auteur Abrial, Jean-Raymond Remove constraint Auteur: Abrial, Jean-Raymond
1 entry found
Number of results to display per page

Search Results

1. Rigorous Methods for Software Construction and Analysis
thumbnail
Full text!
Author:
Abrial, Jean-Raymond; Glässer, Uwe; Kanade, Takeo
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book