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

Die Bedeutung der Emotionen beim Besuch von Online-Shops

$69.99

Medien und Transformation in Osteuropa

$64.99

Genetic Engineering: Principles and Methods

$219.99

The Core Concepts of Physiology

$169.00

Programming Languages and Systems

$54.99

Grundzge der betrieblichen Kapitalwirtschaft

$69.99

Integrative Verhaltenstherapie bei Alkoholabhngigkeit

$64.99

Upwelling Systems of the World

$149.00

Advances in Targeted Cancer Therapy

$169.99

Plant Essential Oils

$169.00

Tropical Algebraic Geometry

$19.99

Infidel Tradition

$14.99

The Brazilian Amazon

$109.99

Engineering Intelligent Hybrid Multi-Agent Systems

$129.00

The Trace Formula and Base Change for GL (3)

$34.99

Chirurgisches Forum 81 fr experimentelle und klinische Forschung

$69.99

Molecular Theory of Solvation

$169.00

Calcium in Human Health

$169.00

Dyadische Analyse regionaler Arbeitsmarktmobilitt

$34.99

Proceedings of 3rd International Conference on Recent Trends in Machine Learning, IoT, Smart Cities

$189.00

Age-Friendly Ecosystems

$49.99

The Mandarin VP

$109.99

Qualitative Methods in International Relations

$109.99

Biochemistry of Vitamin B6

$39.99

Transgenic Crop Plants

$219.99

Bucer, Ephesians and Biblical Humanism

$54.99

Ecology and Conservation of Southeast Asian Marine and Freshwater Environments including Wetlands

$109.99

Computer Vision ECCV 2024

$64.99

Biologie der Ssswassertiere

$59.99

Modelle in der Medizin

$69.99

GeNeDis 2020

$279.99

Bildungswissenschaft in Begriffen, Theorien und Diskursen

$129.99

Control of Complex Systems

$109.99

Atlas of Endoscopic Major Pulmonary Resections

$149.00

Climate Change and Resilient Food Systems

$249.99

Evolutionary Psychology and Information Systems Research

$169.00

Big Data Management and Analytics

$54.99

Systemtheorie und Naturwissenschaft

$59.99

High-Speed Decoders for Polar Codes

$129.99

Future Worlds

$84.99