logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Abstract State Machines, B and Z - Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Abstract State Machines, B and Z
by: (author) (author) (author) (author)
Format: paperback
ISBN: 9783540876021 (3540876022)
Publisher: Springer
Pages no: 382
Edition language: English
Bookstores:
Books by Michael Butler
Integrated Formal Methods: Third Interna... Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. (Lecture Notes in Computer Science) - Michael Butler, Luigia Petre, Kaisa Sere
Animal Cell Technology: From Biopharmaceuticals to Gene Therapy - Leda R. Castilho, Angela Maria Moraes, Elisabeth F.P. Augusto, Michael Butler
Once a Noble Endeavor - Michael Butler Once a Noble Endeavor - Michael Butler
The Making Of Modern Switzerland, 1848 1... The Making Of Modern Switzerland, 1848 1998 - Michael Butler, Joy Charnley, Malcolm Pender
Europe More Than A Continent - Michael B... Europe More Than A Continent - Michael Butler
Players Guide to Low Clans - A Sourcebook for Dark Ages: Vampire - Zack Bush, Michael Butler
Prince Tandi of Cumba or the New Menoza by J.M.R. Lenz - Jakob Michael Reinhol Lenz, Theresa Heskins, Michael Butler
Abstract State Machines, B and Z - Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Sports Quotable Quotes - Michael Butler Sports Quotable Quotes - Michael Butler
Heyday: That Shocking Novel of New York's Lavender Underground - Michael Butler, Arbor Books
Books by Egon Börger
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings - Egon Börger, Michael M. Richter, Hans Kleine Büning
Computation Theory And Logic - Egon Börger
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings - Egon Börger
Computability, Complexity, Logic. Studie... Computability, Complexity, Logic. Studies in Logic and the Foundations of Mathematics, Volume 128. - Egon Börger
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers - Egon Börger
Proceedings of the Logic Colloquium. Hel... Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory - Michael M. Richter, W. Oberschelp, Egon Börger
Abstract State Machines, B and Z - Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers - Egon Börger, Yuri Gurevich, Karl Meinke
Abstract State Machines: A Method for High-Level System Design and Analysis - Egon Börger
Current Trends Theor C/S 84-0: Food for ... Current Trends Theor C/S 84-0: Food for Ed Trade 78-6 - Egon Börger
Books by Jonathan P. Bowen
ZUM '95: The Z Formal Specification Nota... ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science) - Jonathan P. Bowen, Michael G. Hinchey
Abstract State Machines, B and Z - Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Formal Methods: State of the Art and New Directions - Paul P. Boca, Jonathan P. Bowen, Jawed I Siddiqi
Electronic Visualisation in Arts and Culture (Springer Series on Cultural Computing) - Jonathan P. Bowen, Suzanne Keene, Kia Ng
Formal Methods: State of the Art and New Directions - Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
Getting Started with Talend Open Studio for Data Integration by Bowen Jonathan (2012) Paperback - Bowen Jonathan
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) - Michael G. Hinchey, Jonathan P. Bowen
Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings - Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
EVA London 2011: Electronic Visualisation and the Arts - Jonathan P. Bowen, Stuart Dunn, Kia Ng
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science) - Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
Books by Paul Boca
Formal Methods: State of the Art and New Directions - Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
Abstract State Machines, B and Z - Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.