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

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitria, Brazil, during December 46, 2024. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.

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

Single Product Purchase

$54.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
$54.99 $54.99

$54.99
See Site In stock Visit Store

Similar Products

Chemical Kinetics of Homogeneous Systems

$84.99

Korea: The War before Vietnam

$109.99

An Introduction to Early Buddhist Soteriology

$139.99

Flexible Fertigungssysteme

$69.99

The Phenomenology of Moods in Kierkegaard

$109.99

Neurodegeneration Methods and Protocols

$84.99

Financial Pricing Models in Continuous Time and Kalman Filtering

$39.99

Operationstechnik und technische Hilfsmittel in der Chirurgie

$69.99

Cerebral Blood Flow in Acute Head Injury

$39.99

A Fiduciary Approach to Delegated and Implementing Rule-Making in the EU

$99.00

Drug Delivery Applications of Starch Biopolymer Derivatives

$159.99

Lectures on Geometry

$69.99

Wacky and Wonderful Misconceptions About Our Universe

$34.99

Intelligent Sustainable Systems

$249.99

Chaotic Maps

$39.99

Shakespeares Religious Frontier

$109.99

Short History of the Trades Union Congress

$74.99

Verdauungsdrsen

$44.99

Vielfalt und Einheit der Kritischen Theorie Kulturwissenschaftliche Perspektiven

$64.99

Interactive Theorem Proving

$54.99

Die Wiederentdeckung der Ungleichheit

$59.99

Pattern Recognition and String Matching

$109.99

Inflation Theory and Anti-Inflation Policy

$129.00

The Cultural Context of Human Resource Development

$84.99

An Introduction to the Greek Theatre

$54.99

Swarm, Evolutionary, and Memetic Computing, Part II

$54.99

The Hsp60 Chaperonin

$54.99

Versuche an gelenkig gelagerten Stahlbetonsttzen unter Dauerlast

$49.99

Praktikum der Frberei und Farbstoffanalyse fr Studierende

$59.99

PET for Drug Development and Evaluation

$169.99

Anton Pannekoek and the Socialism of Workers' Self Emancipation, 1873-1960

$199.99

Vertikale Innovationsnetzwerke

$99.00

Hey You! C'mere

$5.21

Identifying, Assessing, and Treating ADHD at School

$54.99

Evaluating Change in English Language Teaching

$39.99

Analysis of Verbal and Nonverbal Communication and Enactment.The Processing Issues

$54.99

David Greigs Holed Theatre

$64.99

Is Crohns Disease a Mycobacterial Disease?

$84.99

Scattering Amplitudes and Wilson Loops in Twistor Space

$109.99

Staged Transgression in Shakespeare's England

$54.99