Copied Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic. The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines. Chapter Safety Assurance of a High Voltage Controller for an Industrial Robotic System is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
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
|
|
$54.99 | $54.99 |
|
$49.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Mastery of IBD Surgery
$129.99
Combinatorial Optimization and Applications
$54.99
Audiovisual Translation in the Digital Age
$54.99
Foundations of Pharmacokinetics
$129.00
50th IMO - 50 Years of International Mathematical Olympiads
$19.99
Drogen und Naturstoffe
$49.99
Design and Evaluation of an E-Learning Artefact for the Implementation of SAP S/4HANA
$99.99
Turbomachinery
$54.99
Wirtschaftspolitik, Teil 1
$49.99
Application of Geochemical Tracers to Fluvial Sediment
$39.99
Dos and Donts in Human Resources Management
$54.99
World Statehood
$139.99
Proceedings of the 1985 Academy of Marketing Science (AMS) Annual Conference
$84.99
The Southern Boundary Region of the Winter Anomaly in Ionospheric Absorption in Winter 1971/72 Obser
$109.99
Essential Pharmaceutics
$109.99
Gender, Agency and Political Violence
$54.99
Understanding Terrorist Finance
$54.99
De Motu and the Analyst
$279.99
Advances in Modelling and Optimization of Manufacturing and Industrial Systems
$219.99
Ecology and Human Organization on the Great Plains
$109.99
Clifford TV - Clifford the Big Red Dog Storybook: The Fire Dog Challenge
$4.49
Was heit: In Wrde sterben?
$19.99
Data and Applications Security and Privacy XXXIV
$54.99
Stochastic Models for Structured Populations
$49.99
Africani quaestiones
$79.99
Computational Processing of the Portuguese Language
$89.99
Subjectivity and Suffering in American Culture
$54.99
Feynman und die Physik
$37.99
Innovative Solutions for Sustainable Supply Chains
$139.99
Shipping and Globalization in the Post-War Era
$31.00
Studieninteressierte mit Fluchthintergrund
$59.99
The Discount Houses in London
$19.99
Schwefel in organischer Synthese
$59.99
Designing Applications for Google Cloud Platform
$64.99
Armut, Bildung und Soziale Ungleichheiten
$89.99
Die altrmischen Militrrzte
$59.99
Feedback in digitalen Lernumgebungen
$59.99
Creating with Mobile Media
$99.99
Revolutionary Cycles in Chinese Cinema, 19511979
$39.99
Rechnernetze und Datenfernverarbeitung
$69.99
