License single eBooks

Your results

Advanced search

Search and filter

Free text

Search across title, subtitle, authors, and electronic ISBN

ISBNs

Copy and paste up to 1000 ISBNs separated by comma(,), space (‘ ‘), or line break

Loading...

Subjects

SN’s own taxonomy

Loading...

978-3-319-49812-6

2016, Edition 1

Subjects: Software Engineering

Deductive Software Verification – The KeY Book

From Theory to Practice

Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; Peter H. Schmitt; Mattias Ulbrich

€220

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