Search

You searched for: Auteur Gibbons, Jeremy Remove constraint Auteur: Gibbons, Jeremy
1 - 4 of 4
Number of results to display per page

Search Results

1. Integrated Formal Methods
thumbnail
Full text!
Author:
Davies, Jim; Gibbons, Jeremy; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
2. Datatype-Generic Programming
thumbnail
Full text!
Author:
Backhouse, Roland; Backhouse, Roland C.; Gibbons, Jeremy; Hinze, Ralf; Jeuring, Johan
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
3. Teaching Formal Methods
thumbnail
Full text!
Author:
Gibbons, Jeremy; Kanade, Takeo; Oliveira, José Nuno; Kittler, Josef; Nuno Oliveira, Jose
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
4. Foundations of Health Information Engineering and Systems
thumbnail
Full text!
Author:
Jeremy Gibbons, Wendy MacCaull; MacCaull, Wendy
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book