Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Formal Methods: Foundations and Applications
Best Price (Coupon Required):
Buy Formal Methods: Foundations and Applications for $45.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$45.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Enabling Environment
$54.99
The Influence of Sub-state Actors on National Security
$159.99
Vorlesungen ber Geometrie unter Besonderer Benutzung der Vortrge
$44.99
Engineering Geology for Society and Territory - Volume 1
$219.99
Applied Machining Technology
$99.00
Quantitative Modelle fr das Strategische Management
$69.99
Die Chemisch-Technischen Untersuchungs-Methoden der Zellstoff- und Papier-Industrie
$59.99
Advances in Waste Management
$129.00
Intelligence and Security Informatics
$39.99
Fortschritte der Hochpolymeren-Forschung
$39.99
Theories of Democratic Network Governance
$119.99
Multi-Agent-Based Simulation
$39.99
Superhard Materials, Convection, and Optical Devices
$109.99
Infrared Radiation
$84.99
Iterative Methods for Simultaneous Inclusion of Polynomial Zeros
$39.99
STACS 88
$39.99
The Skin I'm In
$7.46
The Role of the Polymeric Matrix in the Processing and Structural Properties of Composite Materials
$39.99
Die Tierwelt in Heilkunde und Drogenkunde
$59.99
Pediatric Psychosocial Oncology: Textbook for Multidisciplinary Care
$159.99
Pigmentary Skin Disorders
$79.99
Grundlagen der Finanzwissenschaft
$39.99
Diseases of Cattle in the Tropics
$329.99
Internationales Archiv fr Arbeitsmedizin / International Archives of Occupational Health
$44.99
Computer Architecture
$54.99
Energy and Sustainable Futures: Proceedings of the 3rd ICESF, 2022
$59.99
Combatting Corruption at the Grassroots Level in Nigeria
$64.99
Demokratiebildung und Rituale in Kindertageseinrichtungen
$79.99
Numeric Computation and Statistical Data Analysis on the Java Platform
$109.99
Friedens- und Konfliktforschung in Deutschland
$39.99
Computing Methods in Applied Sciences
$74.99
A History of Underdevelopment and Political Economy of Inflation in Sri Lanka
$84.99
Legitimacy, Power, and Inequalities in the Multistakeholder Internet Governance
$59.99
Biopolymere
$49.99
Dos amigos
$5.24
Quantitative Logic and Soft Computing
$259.00
Emanzipatorische Familienarbeit
$69.99
Minerals and Waste
$89.00
Rezepte fr die Werkstatt
$69.99
Helicobacter pylori
$219.99
