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 $40.50 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
|
|
$44.99 | $44.99 |
|
10% OFF
This deals requires coupon
|
$40.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.
Reviews
Questions & Answers
Kriegsverbrechen im nationalen und internationalen Recht
$99.00
New Techniques in Space Astronomy
$219.99
Erfolgsfaktoren von Genossenschaftsbanken
$74.99
Statistical Methods for Human Rights
$54.99
Spanish Literature Circle Grades 4-6
$150.00
ARIS Vom Geschftsproze zum Anwendungssystem
$54.99
Transformations Through Blockchain Technology
$139.99
Water Resources Management in the Face of Climatic/Hydrologic Uncertainties
$169.99
Study of Ecological Engineering of Human Settlements
$109.99
Hybrid Systems Biology
$54.99
Microgrids
$169.99
Banach Spaces and Descriptive Set Theory: Selected Topics
$34.99
Urban Air Quality in Europe
$259.00
Citizenship and Immigration - Borders, Migration and Political Membership in a Global Age
$109.99
Catalogus Fossilium Austriae Primates
$54.99
Hot Topics in Human Reproduction
$159.99
From Industrial Organization to Entrepreneurship
$109.99
Plant Viruses
$74.99
IgM and Its Receptors and Binding Proteins
$119.00
Reliability and Maintenance of Complex Systems
$329.99
Computational Science and Its Applications - ICCSA 2009
$109.99
The Vienna Circle and the Lvov-Warsaw School
$219.99
Einfhrung in die Bcherkunde zur deutschen Literaturwissenschaft
$29.99
Diskursstrategien im Rechtspopulismus
$59.99
The Role of Active Elements in the Oxidation Behaviour of High Temperature Metals and Alloys
$84.99
Web Services in Finance
$54.99
The Geography of Firm Innovation
$84.99
Space and Beyond
$49.99
Computer Aided Team und Produktivitt
$49.99
OOIS96
$109.99
Management Control and Uncertainty
$109.99
Intelligent Data Analytics for Decision-Support Systems in Hazard Mitigation
$149.00
Angebotsbearbeitung Schnittstelle zwischen Kunden und Lieferanten
$39.99
Risikoorientiertes Anlaufmanagement
$69.99
Adaptive Instructional Systems. Design and Evaluation
$99.00
Self-Organizing Robots
$109.99
Proceedings of 2023 11th China Conference on Command and Control
$299.99
Crooked Thinking or Straight Talk?
$32.99
From Summetria to Symmetry: The Making of a Revolutionary Scientific Concept
$279.99
The Political Role of Corporate Citizens
$39.99
