Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 ProceedingsAbstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings

Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings

Michael Butler

Details

OL Work ID
OL17502837W

Subjects

Logic designComputer scienceSoftware engineeringDatabase managementMachine theoryZ (computer program language)CongressesB method (Computer science)Z (Computer program language)Abstrakte ZustandsmaschineB-MethodeZ (Programmiersprache)

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.