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.

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

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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Cellular Automata and Cooperative Systems

$259.00

Theoriebasierte Evaluation

$54.99

Reconsidering the Limits to Growth

$179.99

Compliance-Kultur und Unternehmensethik

$19.99

Der Einflu des cos auf die Tarifgestaltung der Elektrizittswerke unter besonderer Bercksichtigu

$44.99

Investition und Besteuerung

$69.95

Atmungs-Pathologie und -Therapie

$59.99

Textbook of Penile Cancer

$99.00

Grafik und Animation mit Borland Pascal 7.0

$59.99

Vascular Complications in Human Disease

$109.99

Creatively Gifted Students are not like Other Gifted Students

$49.99

Computer-aided Tolerancing

$219.99

The Makers of British Foreign Policy

$109.99

Auenseiter

$29.99

Introduction to Probability and Random Variables

$79.99

Radioactivity and Pollution in the Nordic Seas and Arctic

$129.00

Low-Cost Solar Electric Power

$109.99

Intervision

$17.99

Prozessorientiertes Supply Chain Engineering

$89.99

Whys and Hows in Uncertainty Modelling

$109.99

The Plagiarism Allegation in English Literature from Butler to Sterne

$54.99

Unternehmen grnden ist nicht schwer

$29.99

Qualittssicherung und Lebensqualitt in der Kinder-und Jugendpsychiatrie

$84.99

Man and Place

$219.99

Wemberly Worried: 6-Book Set

$30.95

The Politics of Constitutional Reform in North America

$39.99

Dokumentationsmanagement Basis fr IT-Governance

$69.99

Management Education in the Network Economy

$109.99

The Origins of Sociable Life: Evolution After Science Studies

$39.99

Ibn al-Haythams Completion of the Conics

$169.00

Collaborators in Literary America, 1870-1920

$74.99

Reproduction in New World Primates

$84.99

Kindler Kompakt: Klassiker der Naturwissenschaften

$19.99

Advanced Information Systems Engineering

$39.99

bergnge in eine neue Arbeitswelt?

$49.99

A Calculus of Communicating Systems

$39.99

Anaerobes in Biotechnology

$169.00

Consumer Value im Category Management-Modell nach ECR

$69.99

User Modeling, Adaptation, and Personalization

$39.99

Internet of Things, Smart Spaces, and Next Generation Networks and Systems

$54.99