Search

You searched for: Auteur Treharne, Helen Remove constraint Auteur: Treharne, Helen
1 - 2 of 2
Number of results to display per page

Search Results

1. Integrated Formal Methods
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Gnesi, Stefania; Latella, Diego; Treharne, Helen
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book
2. ZB 2005: Formal Specification and Development in Z and B
thumbnail
Full text!
Author:
Treharne, Helen; Henson, Martin; Kanade, Takeo; King, Steve; Schneider, Steve
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book