bib.howest.be Zoekresultaten

U zocht naar: Auteur Butler, Michael

1 - 10 van 10

1. Late Ming : Chinese Porcelain from the Butler Collections

Auteur:: Butler, Michael
Uitgever:: Luxembourg : Musée National d'Histoire et d'Art Luxembourg, 2008
Jaar:: 2008
Type:: catalog

2. FM 2011: Formal Methods

Auteur:: Butler, Michael; Kanade, Takeo; Schulte, Wolfram; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

3. Theoretical Cybersecurity : Principles and Advanced Concepts

Auteur:: Oakley, Jacob G.; Butler, Michael; Puckett, Matthew; Sewell, J. Louis; York, Wayne
Uitgever:: Berkeley, CA Apress L. P. 2022
Type:: e-book

4. Methods, Models and Tools for Fault Tolerance

Auteur:: Butler, Michael; Jones, Cliff; Kanade, Takeo; Romanovsky, Alexander; Troubitsyna, Elena; Jones, Cliff B.
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

5. Rigorous Development of Complex Fault-Tolerant Systems

Auteur:: Butler, Michael; Jones, Cliff B.; Kanade, Takeo; Romanovsky, Alexander; Troubitsyna, Elena; Jones, Cliff
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

6. Formal Methods and Software Engineering

Auteur:: Butler, Michael; Hinchey, Michael G.; Hinchey, Michael Gerard; Kanade, Takeo; Larrondo-Petrie, María M.; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

7. Abstract State Machines, B and Z

Auteur:: Börger, Egon; Boca, Paul; Bowen, Jonathan P.; Butler, Michael; Kanade, Takeo; Boca, Paul P.; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

8. Learning through Collaboration in Self-Study

Auteur:: Brandon M. Butler, Shawn Michael Bullock; Bullock, Shawn Michael
Uitgever:: Springer 2022
Type:: e-book

9. Abstract State Machines, Alloy, B, TLA, VDM, and Z

Auteur:: Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro; Biro, Miklos; Mashkoor, Atif; Schewe, Klaus-Dieter
Uitgever:: Springer International Publishing 2016
Type:: e-book

10. Visual basic 4 super handboek 2 : OLE, database en controls.

Auteur:: Hatmaker, Michael; Butler, C. Woody; Jung, David
Uitgever:: Schoonhoven : Academic Service, 1996
Jaar:: 1996
Type:: boek