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 The Next 30 Years

Formal Methods The Next 30 Years

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
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

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

$39.99
See Site In stock Visit Store

Similar Products

Neuropathien bei Lyme-Borreliose

$84.99

Workshop on Wide Area Networks and High Performance Computing

$39.99

Using Blended Learning

$54.99

Birth Control

$109.99

The Missing Links in Teacher Education Design

$109.99

Trends in Biomathematics: Modeling, Optimization and Computational Problems

$109.99

Evidence-Based Imaging in Pediatrics

$109.99

Microfluidic Diagnostics

$169.99

The Nonlinear Limit-Point/Limit-Circle Problem

$54.99

Warenverteilungsplanung

$69.99

Produktplanung im Fuzzy Front End

$89.99

Homogeneous Spaces and Equivariant Embeddings

$119.00

Science with the VLT Interferometer

$84.99

Studies in International Business

$84.99

How Organizations Manage the Future

$169.99

Electronic Government

$99.99

The Palgrave International Handbook of Higher Education Policy and Governance

$329.99

Historical Seismology

$129.00

Leo Strauss and the American Right

$54.99

Numerical Validation in Current Hardware Architectures

$54.99

Pack, 8 Ct Thumb Cut Pages by Whitman

$9.99

Big Data Analytics Using Splunk

$54.99

Geometry of Submanifolds and Applications

$139.99

China and the United States

$54.99

Augmented Reality, Virtual Reality, and Computer Graphics

$109.99

Modellbasierte virtuelle Produktentwicklung

$119.99

Plasticity and Textures

$109.99

Perspektive Patchwork

$19.99

Applications of Radiation Chemistry in the Fields of Industry, Biotechnology and Environment

$349.00

Advances in Core Computer Science-Based Technologies

$109.99

Computational and Experimental Biomedical Sciences: Methods and Applications

$54.99

Neutron Spectroscopy

$219.99

Statistical Geometry and Applications to Microphysics and Cosmology

$84.99

Die hydrolysierenden Enzyme der Nucleinsuren, Amide, Peptide und Proteine

$59.99

Militarism and the British Left, 1902-1914

$84.99

Depression Conceptualization and Treatment

$49.99

Digital Forensics and Cyber Crime

$54.99

Kindheit in der Wende Wende der Kindheit?

$59.99

York's Hidden Stories

$49.99

Self-Assembly of Nanostructures

$109.99