Search

You searched for: Auteur Butler, Michael Remove constraint Auteur: Butler, Michael
1 - 10 of 10
Number of results to display per page

Search Results

1. Late Ming : Chinese Porcelain from the Butler Collections
thumbnail
Author:
Butler, Michael
Publisher:
Luxembourg : Musée National d'Histoire et d'Art Luxembourg, 2008
Year:
2008
Format:
catalog
2. FM 2011: Formal Methods
thumbnail
Full text!
Author:
Butler, Michael; Kanade, Takeo; Schulte, Wolfram; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
3. Theoretical Cybersecurity : Principles and Advanced Concepts
thumbnail
Full text!
Author:
Oakley, Jacob G.; Butler, Michael; Puckett, Matthew; Sewell, J. Louis; York, Wayne
Publisher:
Berkeley, CA Apress L. P. 2022
Format:
e-book
4. Methods, Models and Tools for Fault Tolerance
thumbnail
Full text!
Author:
Butler, Michael; Jones, Cliff; Kanade, Takeo; Romanovsky, Alexander; Troubitsyna, Elena; Jones, Cliff B.
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
5. Rigorous Development of Complex Fault-Tolerant Systems
thumbnail
Full text!
Author:
Butler, Michael; Jones, Cliff B.; Kanade, Takeo; Romanovsky, Alexander; Troubitsyna, Elena; Jones, Cliff
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book
6. Formal Methods and Software Engineering
thumbnail
Full text!
Author:
Butler, Michael; Hinchey, Michael G.; Hinchey, Michael Gerard; Kanade, Takeo; Larrondo-Petrie, María M.; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
7. 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
8. Learning through Collaboration in Self-Study
thumbnail
Full text!
Author:
Brandon M. Butler, Shawn Michael Bullock; Bullock, Shawn Michael
Publisher:
Springer 2022
Format:
e-book
9. Abstract State Machines, Alloy, B, TLA, VDM, and Z
thumbnail
Full text!
Author:
Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro; Biro, Miklos; Mashkoor, Atif; Schewe, Klaus-Dieter
Publisher:
Springer International Publishing 2016
Format:
e-book
10. Visual basic 4 super handboek 2 : OLE, database en controls.
thumbnail
Author:
Hatmaker, Michael; Butler, C. Woody; Jung, David
Publisher:
Schoonhoven : Academic Service, 1996
Year:
1996
Format:
book