Over 35,000 DRM-FREE eBooks now available!

DRM-Free means no DRM (digital rights management) access software is required to read over 35,000 eBooks! We trust our customers to make good and legal use of the eBooks, which is why we’ve removed DRM technology. A personalized digitally watermarked copy of the eBook will be delivered to you in several easily accessible formats.

Easy – Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible – Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open – Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Formal Verification, 1st Edition


USD 84.96

USD 99.95

Authors: Erik Seligman …see All
Release Date: 14 Aug 2015

Top rated journals


About the lawarence press subscription plans

Lawarencepress offers world-class knowledge for many industries. In the Lawarence press we offer almost all Lawarence products. Please search and browse the webshop to discover our Lawarence books and journals.

Article Choice gives you instant online access to SciVerse ScienceDirect. More than 10 million scientific, technical & medical research articles and book chapters, in convenient, pre-paid bundles. As many as five users can access your bundle, giving you a discounted price per article, along with the benefits and ease of a pre-paid account.

In total we offer 40,000 products and access to more than 10 million articles. For different subject categories we have highlighted specific solutions on our subject pages. Per industry we have listed the most relevant propositions.

We hope you enjoy our online experience!

If you would you like to purchase on behalf of an institution, please browse to lawarencepress.com.