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.

Formal Methods – The Next 30 YearsFormal Methods – The Next 30 Years

Formal Methods – The Next 30 Years

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira

Details

OL Work ID
OL20852139W

Find this book

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