Description: Model Checking Software : 26th International Symposium, Spin 2019, Beijing, China, July 15–16, 2019, Proceedings, Paperback by Biondi, Fabrizio (EDT); Given-wilson, Thomas (EDT); Legay, Axel (EDT), ISBN 3030309223, ISBN-13 9783030309220, Brand New, Free shipping in the US This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 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.
Price: 65.98 USD
Location: Jessup, Maryland
End Time: 2024-12-27T01:44:26.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Model Checking Software : 26th International Symposium, Spin 2019
Number of Pages: X, 261 Pages
Publication Name: Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-19, 2019, Proceedings
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2019
Subject: Software Development & Engineering / General, Programming / Algorithms, Computer Science
Item Weight: 16 Oz
Type: Textbook
Item Length: 9.3 in
Subject Area: Computers
Author: Thomas Given-Wilson
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
