License single eBooks

Your results

Advanced search

978-3-662-04558-9

2001, Edition 1

Subjects: Software Engineering

Systems and Software Verification

Model-Checking Techniques and Tools

B. Berard; P. McKenzie; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen

€260

Help library users learn, on good terms

License single eBooks to give your patrons unlimited Springer Nature Link access to the eBooks they need, with clear and generous terms for the library.

The Book they Need

No minimums, license single eBooks
Choose freely among 300 000+ titles
Read and download on Springer Nature Link
Access after 2‐3 days for new customers, then quicker access

How ordering single eBooks works

Access for all patrons

DRM free PDF and ePub
Continuous access
Unlimited simultaneous users
Digital preservation services

Our prices and licensing terms

Uncomplicated prices

One price per eBook
Pay once, no renewals
No platform fees
Generous ILL support

Our prices and licensing terms

Open Access books ‐ explore the quality of our eBooks

Read and download any of our 2500 Open Access eBooks on Springer Nature Link.

License, payment, and ROI

Agree to terms and conditions during checkout, or sign the license via DocuSign
Invoice sent via email or e-invoicing system, pay after 30 days
COUNTER 5 usage data for download or via SUSHI

How ordering single eBooks works

Metadata and access methods

Cataloging automation for ALMA, OCLC WMS, and TDNet
MARC records of good quality
Access via IP addresses, SSO, or personal user accounts

About our metadata and access methods

180 years of publishing

One of the world's foremost academic publishers
Trusted by top universities, colleges, and ministries
Offices in 50 countries worldwide

About us

Help and contact

24/7 phone and email support
Emails typically responded to in 12 hours
FAQs and guides

Get assistance