License single eBooks

Your results

freetext-search isbn-search sdg-search snt-search ebop-search series-search cry-search

Search and Filter

freetext-search

Free text

Search across title, subtitle, authors, and ISBNs

isbn-search

ISBNs

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

Loading...

You've reached the limit of 1000 ISBN numbers

sdg-search

snt-search

Subject

SN’s own taxonomy

Loading...

Search for subjects

No results found. Try again with another term.

0 selected out of 0 items

Show All Selected

ebop-search

series-search

cry-search

Download list (.CSV)

View Cart

Formal Methods

An Appetizer

Flemming Nielson; Hanne Riis Nielson

978-3-030-05156-3

2019
Edition 1
- Uses program graphs to represent the control structure of programs
- Class-tested and suitable for advanced undergraduate and graduate courses
- Appendices include a guide to realization using F#
- Online tool at FormalMethods.dk allows students to experiment with most chapters
€419 €377
10% OFF

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

Is this helpful?