License single eBooks
Your single title eBook discount starts now - discover & refresh
- Buy 1 eBook and Get 10% Off
- Buy 5 eBooks and Get 20% Off
- Buy 10 eBooks and Get 30% Off
Redeemable exclusively via self-service licensing in our Librarian Portal. Offer ends on July 17, 2026. Applicable for all eBook types. Terms & conditions apply.
Your results
Search and Filter
Free text
Search across title, subtitle, authors, and ISBNs
ISBNs
Copy and paste up to 1000 ISBNs separated by comma(,), space (‘ ‘), or line break
Loading...
United Nations Sustainable Development Goals (SDGs)
Top books for working towards the SDGs, hand-selected by Springer Nature editors
0 selected out of 0 items
Subject
SN’s own taxonomy
Loading...
0 selected out of 0 items
Collections
Our most popular sets of eBooks
R0 collections
Reference modules
0 selected out of 0 items
Series
Lecture notes, etc. How to find other series
0 selected out of 0 items
Copyright years
From 1815 onwards
0 selected out of 0 items
-
Mike Hinchey; Jonathan P. Bowen; Ernst-Rüdiger Olderog978-3-319-48628-42017 Edition 1- Provides historic account on the ProCoS projects and their impact
- Addresses theory and tool-supported practice of verification
- Explores formal methods and applications for the International Space Station
- Discusses the advances in connection-based automatic theorem proving automatic verification and synthesis for probabilistic hybrid systems
- Introduced by Professor Sir Tony Hoare
- Includes supplementary material: sn.pub/extras
€180 €16210% OFF