Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Model Checking Software

Name: Model Checking Software
Brand: Springer Nature Switzerland AG
SKU: 36928979
Price: 51.56 EUR
Availability: InStock
Author: Alfons Laarman
ISBN: 9783030846282

Alfons Laarman

Language

English

Book Paperback

Libristo code: 36928979

Publishers Springer Nature Switzerland AG, August 2021

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking... Full description

Libristo code: 36928979

125 b

51.56 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Серия "Учиться музыке легко". Сольфеджио. 4 класс. Комплект ученика: учебник (рабочая тетрадь, задания), CD Жанна Металлиди

Sheet music

15.73 €

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.