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

Formal Methods

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

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lbeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day. ... Show More Show Less

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

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Similar Products

Chemical Criminalistics

$84.99

Authoritarian Neoliberalism and Resistance in Turkey

$59.99

Das Verhalten von Silikasteinen im Siemens-Martin-Ofengewlbe

$59.99

Gestaltung von Wlzlagerungen

$59.99

Computational Logistics

$44.99

Efficiency Analysis by Production Frontiers

$129.00

Die Bedeutung sozialen Kapitals fr Migrationsprozesse

$49.99

Werkzeugmaschinen Fertigungssysteme 1

$84.99

Biomedical Polymers and Polymer Therapeutics

$129.00

Dermatopathology: The Basics

$54.99

Silences for Love

$54.99

Diving Medicine

$84.99

Mathematical Models for Remote Sensing Image Processing

$179.99

Der Jahresabschluss - eine praxisorientierte Einfhrung

$29.99

Special Topics in Structural Dynamics & Experimental Techniques, Volume 5

$219.99

Ultra-Wideband, Short Pulse Electromagnetics 9

$349.00

Statistical Mechanics

$39.99

Advances in Service-Oriented and Cloud Computing

$54.99

Francophone Voices of the New Morocco in Film and Print

$39.99

Business Models in the Software Industry

$84.99

Electrodynamics of Quantum-Critical Conductors and Superconductors

$109.99

Extreme Value Theory-Based Methods for Visual Recognition

$39.99

Liver Cancer

$129.00

Technologische Gestaltbildung

$69.99

Sensornetzwerke in Theorie und Praxis

$29.99

The Modern Era of Coronary Thrombolysis

$169.00

Psychotherapy of Everyday Life

$109.99

Missing Mary

$59.99

Absatzsysteme fr Mass Customization

$79.99

The Structure of Digital Partner Choice

$54.99

Systematic Approaches to Argument by Analogy

$84.99

Politische Sozialisation in der DDR

$59.99

Ethical Issues in Pediatric Hematology/Oncology

$39.99

River

$5.96

Frequency-Resolved Optical Gating: The Measurement of Ultrashort Laser Pulses

$149.00

Long-Term Care for Frail Older People

$54.99

Die Natur der Sprache

$64.99

Wie demokratisch ist direkte Demokratie?

$74.99

Models in System Design

$169.00

After-School Programs to Promote Positive Youth Development

$49.99