License single eBooks

No eBook licensing right now

Due to a technical upgrade we can not offer eBook licensing right now. You can still search and add books to your basket. We hope to offer ordering again in a few days time.

Your results

Advanced Search

978-3-031-75778-5

2025, Edition 1

Subjects: Computer Science Logic and Foundations of Programming

Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Nils Jansen; Sebastian Junges; Benjamin Lucien Kaminski; Christoph Matheja; Thomas Noll; Tim Quatmann; Mariëlle Stoelinga; Matthias Volk

€140

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 worlds 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