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

  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

          About the Elsevier store

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

          ArticleChoice 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 myElsevier.com.