Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Buy Now

Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Paperback, 1st ed. 2021) Loot Price: R1,496

Discovery Miles 14 960

Repayment Terms: R140 pm x 12*

Add to cart

Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Paperback, 1st...

Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Paperback, 1st ed. 2021)

Alfons Laarman, Ana Sokolova

Series: Theoretical Computer Science and General Issues, 12864

(sign in to rate)

Loot Price R1,496 Discovery Miles 14 960 | Repayment Terms: R140 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	Theoretical Computer Science and General Issues, 12864
Release date:	August 2021
First published:	2021
Editors:	Alfons Laarman • Ana Sokolova
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	195
Edition:	1st ed. 2021
ISBN-13:	978-3-03-084628-2
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer programming > Algorithms & procedures Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > Computer modelling & simulation Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems Promotions
LSN:	3-03-084628-8
Barcode:	9783030846282