Copied Model Checking Software
Model Checking Software
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 Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Zukunftswerkstatt Rettungsdienst
$74.99
Spheres of Transnational Ecoviolence
$84.99
Moderne Stationsorganisation im Krankenhaus
$74.99
Operations Research
$59.99
Emotion Online
$39.99
The EU's Lisbon Strategy
$54.99
Recent Advances in Technology Research and Education
$129.00
Experiencing Grandparenthood
$109.99
Magnetoelastic Interactions
$39.99
Institutions, Entrepreneurs, and American Economic History
$39.99
Concise Guide to Computation Theory
$39.99
Atrial Hormones and Other Natriuretic Factors
$89.99
Enterprises Green Growth Model and Value Chain Reconstruction
$109.99
Der effiziente Staat Fiktion oder Vision?
$69.99
Computeruntersttzung fr Regelungsaufgaben
$39.99
Central European History and the European Union
$54.99
Esperanza renace
$5.99
Zur Bercksichtigung motivationaler Faktoren im Qualittsmanagement
$37.99
Pro JavaScript Techniques
$39.99
Nonmonotonic Logic
$129.00
Uncertainty and Vagueness in Knowledge Based Systems
$84.99
rztliche Leitungsstrukturen und Fhrungsaufgaben
$74.99
Local Climate Governance in China
$39.99
TEX/LATEX und Graphik
$59.99
Designing the Digital Transformation
$54.99
Zero Waste Biorefinery
$199.99
Die mediale Konstruktion der Wirklichkeit
$37.99
Disruptive Analytics
$37.99
Proceedings of Ninth International Congress on Information and Communication Technology
$249.99
Feminism and International Relations
$59.99
Network Role Mining and Analysis
$39.99
Hong Kong Public Budgeting
$119.99
First 100 Animals by Roger Priddy
$5.99
Parallele Programmierung
$69.95
Social Welfare in India and China
$109.99
Current Topics in Microbiology and Immunology
$54.99
Zahnrder
$79.99
Das Kreditgeschft in der Abschluprfung des Bankkaufmanns
$69.95
Neuro-ProsthEthics
$89.99
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems X
$54.99
