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
9783030921361
Condition
New
Product Description

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.

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

Single Product Purchase

$44.99
@ Link.springer.com     BUY Now

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

$44.99
See Site In stock Visit Store

Similar Products

Neuroscience in Space

$34.99

Tabloid Journalism and Press Freedom in Africa

$109.99

Gamma Knife Neurosurgery

$109.99

Thermophiles for Biotech Industry

$169.99

The Translational Apparatus

$39.99

The Cloud Kingdom: A Branches Book (The Last Firehawk #7)

$5.24

First Little Readers: Guided Reading Levels G & H (Single-Copy Set)

$17.99

Das Eisenbahn-Bauwesen fr Bahnmeister und Bauaufseher

$99.99

Bioprocess and Analytics Development for Virus-based Advanced Therapeutics and Medicinal Products (A

$199.99

Nanotechnology - Toxicological Issues and Environmental Safety

$219.99

Pathologie des Nervensystems IV

$54.99

Gefilterte Mrkte

$59.99

.NET Development Using the Compiler API

$32.99

Human Privacy in Virtual and Physical Worlds

$59.99

Technologische Diversifikation von Unternehmen

$59.99

Soziologie und die Bildung des Volkes

$44.99

Praxisbuch Bandtrocknung

$109.00

Ausfhrungsbestimmungen zum Tabaksteuergesetze vom 15. Juli 1909

$44.99

Von der Postdemokratie zur Neodemokratie

$39.99

Die religise Bewegung der Gegenwart

$59.99

Finanzkonglomerate im Europischen Binnenmarkt

$69.99

Lebenszyklusrechnung

$59.99

Jaagsiekte Sheep Retrovirus and Lung Cancer

$84.99

Global Optimization

$39.99

Microstructure Atlas of P22 Steel

$159.99

Beginning MySQL Database Design and Optimization

$49.99

Introduction to Post-Keynesian Economics

$84.99

Plant Responses to Xenobiotics

$169.99

Wachstumsimpulse durch mobile Kommunikation

$69.99

AI Verification

$129.99

Verfahrensfehlerfolgen im franzsischen und im deutschen Verwaltungsrecht

$125.00

Lower Limb Deformities

$279.99

Integrity, Internal Control and Security in Information Systems

$84.99

Nitrates III

$84.99

Pocket Dermatology

$89.00

Die Nachfolge im Familienunternehmen ganzheitlich regeln

$69.99

Welt im Wandel: Neue Strukturen globaler Umweltpolitik

$74.99

Sexuelle Grenzverletzungen am Arbeitsplatz

$17.99

Merkbltter 36014000

$44.99

Die Absatztechnik der amerikanischen industriellen Unternehmung

$59.99