Search

You searched for: Auteur Boca, Paul P. Remove constraint Auteur: Boca, Paul P.
1 - 2 of 2
Number of results to display per page

Search Results

1. Abstract State Machines, B and Z
thumbnail
Full text!
Author:
Börger, Egon; Boca, Paul; Bowen, Jonathan P.; Butler, Michael; Kanade, Takeo; Boca, Paul P.; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
2. Formal Methods: State of the Art and New Directions
thumbnail
Full text!
Author:
Paul Boca; Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed
Publisher:
Springer London 2010
Format:
e-book