logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Abstract State Machines: A Method for High-Level System Design and Analysis - Egon Börger
Abstract State Machines: A Method for High-Level System Design and Analysis
by: (author)
Format: hardcover
ISBN: 9783540007029 (3540007024)
Publisher: Springer
Pages no: 448
Edition language: English
Bookstores:
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
Computability, Complexity, Logic. Studie... Computability, Complexity, Logic. Studies in Logic and the Foundations of Mathematics, Volume 128. - Egon Börger
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings - 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
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.