Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031224751
Condition
New
Product Description

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on 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.

Available Colors
Available Sizes
1 Offer Price Range: $44.99 - $44.99
BEST PRICE

Single Product Purchase

$40.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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
@ Link.springer.com
Contact Store Call Store Contact Support
$44.99 $44.99

10% OFF
This deals requires coupon Get Code Here
$40.50
See Site In stock Visit Store

Similar Products

Agroforestry to Combat Global Challenges

$189.00

Advanced Arithmetic for the Digital Computer

$54.99

Cloud Computing Using Oracle Application Express

$29.99

Artificial Intelligence for Future Society

$249.99

Building Bridges

$109.99

Lewis Fry Richardson: His Intellectual Legacy and Influence in the Social Sciences

$24.99

Environmental Management in India: Waste to Wealth

$159.99

Plant Fibers

$84.99

Representations of Childhood Death

$109.99

Multiple Narratives, Versions and Truth in the Contemporary Novel

$54.99

Cellular Automata and Discrete Complex Systems

$84.99

The Dilemma of Siting a High-Level Nuclear Waste Repository

$169.99

Innovation Policies, Business Creation and Economic Development

$169.99

From Natural Numbers to Quaternions

$29.99

Social Science Research Ethics in Africa

$129.99

Famotidin heute

$59.99

Verbundwerkzeuge, automatische Zufhrmittel und Flieweganlagen

$44.99

Cardiac Dysfunction in Chronic Uremia

$219.99

An Introduction to Fractional Differential Equations

$39.99

Engineering Applications of Neural Networks

$109.99

Lung Inflammation in Health and Disease, Volume I

$299.99

Broken Genius

$79.99

Safety for Future Transport and Mobility

$149.00

Wahlkmpfe in Europa 1884 bis 1889

$59.99

Kondensation

$59.99

The Biology of the Schizophrenic Process

$39.99

Aerodynamik des Fliegens

$99.99

The Value of the Humanities in Higher Education

$54.99

Ergonomics and Human Factors for a Sustainable Future

$149.00

The Ultimate Book of Phonics Word Lists: Grades K-1

$14.99

Progress in Speech Synthesis

$219.99

Rntgendiagnostik der Oberen Speise- und Atemwege, der Atemorgane und des Mediastinums Teil 6 / Roen

$59.99

Polyphenols and the Mediterranean Diet

$54.99

The Intertrochanteric Osteotomy

$89.00

Progress in Materials Science and Engineering

$84.99

Pusheen Coloring Book by Claire Belton

$12.99

Lymphoid Organogenesis

$129.00

The Tensed Theory of Time

$279.99

Understanding Economic Growth

$39.99

Britain within the European Community

$49.99