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.

FME 2001 : Formal Methods for Increasing Software Productivity

FME 2001 : Formal Methods for Increasing Software Productivity2003

Jose N. Oliveira, Pamela Zave

Details

First published
2003
OL Work ID
OL27347410W

Find this book

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