bib.howest.be Zoekresultaten

U zocht naar: Auteur Butler, Michael Type e-book

1 - 8 van 8

1. FM 2011: Formal Methods

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

2. 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

3. 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

4. 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

5. 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

6. 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

7. Learning through Collaboration in Self-Study

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

8. 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