Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Formal Methods The Next 30 Years

Best Price (Coupon Required):
Buy Formal Methods The Next 30 Years for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

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

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Landscape Analysis and Visualisation

Landscape Analysis and Visualisation

$219.99
Cities and the Digital Revolution

Cities and the Digital Revolution

$54.99
Hybrid Nanomaterials

Hybrid Nanomaterials

$219.99
Einfhrung in die Beurteilende Statistik

Einfhrung in die Beurteilende Statistik

$17.99
Lectures on the Will to Know

Lectures on the Will to Know

$44.99
Kontinuierliche und zeitdiskrete Regelungen

Kontinuierliche und zeitdiskrete Regelungen

$49.99
Radio Frequency Channel Coding Made Easy

Radio Frequency Channel Coding Made Easy

$64.99
Corporate Advertising

Corporate Advertising

$49.99
Environmental Problems of Central Asia and their Economic, Social and Security Impacts

Environmental Problems of Central Asia and their Economic, Social and Security Impacts

$169.00
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII

$84.99
Emerging Fields in Sol-Gel Science and Technology

Emerging Fields in Sol-Gel Science and Technology

$169.99
Security of FPGA-Accelerated Cloud Computing Environments

Security of FPGA-Accelerated Cloud Computing Environments

$89.99
Algebraic Surfaces

Algebraic Surfaces

$49.95
Mathematical Foundations of Computer Science 1976

Mathematical Foundations of Computer Science 1976

$84.99
Reissbrett 1

Reissbrett 1

$54.99
Maximum-Entropy and Bayesian Methods in Inverse Problems

Maximum-Entropy and Bayesian Methods in Inverse Problems

$169.99
Formulas Useful for Linear Regression Analysis and Related Matrix Theory

Formulas Useful for Linear Regression Analysis and Related Matrix Theory

$54.99
Monoclonal Antibodies

Monoclonal Antibodies

$84.99
Variable and Non-spherical Stellar Winds in Luminous Hot Stars

Variable and Non-spherical Stellar Winds in Luminous Hot Stars

$39.99
Cosmopolitanism, Self-Determination and Territory

Cosmopolitanism, Self-Determination and Territory

$39.99
Philosophical Perspectives on Democracy in the 21st Century

Philosophical Perspectives on Democracy in the 21st Century

$84.99
Prospective Studies of Crime and Delinquency

Prospective Studies of Crime and Delinquency

$219.99
Essentials of Dynamics and Vibrations

Essentials of Dynamics and Vibrations

$49.99
Parallel Algorithms and Architectures for DSP Applications

Parallel Algorithms and Architectures for DSP Applications

$109.99
Haemophilus, Actinobacillus, and Pasteurella

Haemophilus, Actinobacillus, and Pasteurella

$219.99
Irish Gothics

Irish Gothics

$54.99
Advances in Chemical Bioanalysis

Advances in Chemical Bioanalysis

$219.99
Whistle-blowing in the Soviet Union

Whistle-blowing in the Soviet Union

$44.99
Screening for Biological Response Modifiers: Methods and Rationale

Screening for Biological Response Modifiers: Methods and Rationale

$109.99
Implementation and Analysis of Ciphers in Quantum Computing

Implementation and Analysis of Ciphers in Quantum Computing

$159.99
Mechanics of Microelectromechanical Systems

Mechanics of Microelectromechanical Systems

$84.99
Vaginal Surgery for Incontinence and Prolapse

Vaginal Surgery for Incontinence and Prolapse

$169.00
Schule mit Zukunft

Schule mit Zukunft

$59.99
Remote Control Robotics

Remote Control Robotics

$109.99
India and Africa's Partnership

India and Africa's Partnership

$54.99
Management strategischer Kooperationen zwischen Hersteller und Handel

Management strategischer Kooperationen zwischen Hersteller und Handel

$79.99
Tellurite Glass Smart Materials

Tellurite Glass Smart Materials

$84.99
Das Recht der erneuerbaren Energien zur Wrmeversorgung des Gebudesektors

Das Recht der erneuerbaren Energien zur Wrmeversorgung des Gebudesektors

$84.99
Operationen an lteren Menschen

Operationen an lteren Menschen

$54.99
Media and the Politics of Arctic Climate Change

Media and the Politics of Arctic Climate Change

$39.99
previous
next