Copied Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018. The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical foundations; verification and validation; experience reports regarding teaching formal methods; and applications. Chapter TeSSLa: Temporal Stream-Based Specification Language 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
|
|
$49.99 | $49.99 |
|
$49.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Adhesion 11
$39.99
Functional Neuroscience
$54.99
Vereinbarungen zur einheitlichen Untersuchung und Beurtheilung von Nahrungs- und Genussmitteln sowie
$59.99
Transmission Electron Microscopy of Semiconductor Nanostructures
$39.99
Beginning Oracle SQL for Oracle Database 18c
$54.99
Network Management in Wired and Wireless Networks
$169.99
Mining Spatio-Temporal Information Systems
$109.99
Frontiers in Cerebral Vascular Biology
$39.99
Prostaglandins and Inflammation
$54.99
C++ for Lazy Programmers
$34.99
ROBOT 2017: Third Iberian Robotics Conference
$219.99
A Primer on the Kinematics of Discrete Elastic Rods
$64.99
Artificial Intelligence over Infrared Images for Medical Applications and Medical Image Assisted Bio
$59.99
Safety for Future Transport and Mobility
$149.00
Knowledge Actors and Transnational Governance
$54.99
Geometrical Methods of Nonlinear Analysis
$54.99
The Design of Communicating Systems
$109.99
Atlas of Neoplastic Pulmonary Disease
$119.00
ADO Examples and Best Practices
$34.99
Induction Chemotherapy
$119.00
Engineering and Technology Talent for Innovation and Knowledge-Based Economies
$109.99
Highly Conducting One-Dimensional Solids
$84.99
Law and Practice of Debt Finance in Modern China
$139.99
Die willkrlich bewegbare knstliche Hand
$74.99
Integrated Reaction and Separation Operations
$84.99
Advances in Cryptology CRYPTO 2024
$109.00
Women's Literary Creativity and the Female Body
$39.99
Computer Vision -- ACCV 2010 Workshops
$54.99
Tools for High Performance Computing 2015
$109.99
Transgenic Wheat, Barley and Oats
$109.99
The Flow of Organizational Culture
$139.99
The Lacrimal System
$109.99
Beginning ASP.NET C# 2005
$49.99
Mensch, Menschen, Typen
$49.99
Electronic States of Molecules and Atom Clusters
$54.99
Geometries and Groups
$84.99
Marihuana and Medicine
$169.00
Financial Transmission Rights
$249.99
Andrology
$109.00
Friedenserziehung
$19.99
