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

Integrated Formal Methods

Integrated Formal Methods

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

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.

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

Single Product Purchase

$64.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
$64.99 $64.99

$64.99
See Site In stock Visit Store

Similar Products

Cosmological Probes of Light Relics

$84.99

Unternehmenstheorie und Unternehmensplanung

$69.99

A Psycholinguistic Perspective on Finnish and Japanese Prosody

$109.99

Digital Forensics and Watermarking

$54.99

Rntgentherapeutisches Hilfsbuch fr die Spezialisten der brigen Fcher und die Praktischen rzte

$54.99

Betriebliche Sozialeinrichtungen

$44.99

Eradicating Blindness

$54.99

Birds of Prey and Wind Farms

$99.00

Die Beseitigung der beim Tauch- und Spritzlackieren entstehenden Dmpfe

$59.99

In Vivo Self-Assembly Nanotechnology for Biomedical Applications

$84.99

Competitive European Peripheries

$39.99

Innovationen verbreiten, optimieren und evaluieren

$84.99

ICT Analysis and Applications

$279.99

Family Stories, Poetry and Women's Work

$49.99

Visualizing Mathematics

$199.99

Letter of the Week!

$14.24

GDPR and Biobanking

$54.99

Schraubenverbindungen

$179.99

Machine Learning with PySpark

$49.99

Conceptual Modeling

$54.99

Naturschutzrecht und Nutzungskonflikte

$59.99

Embedded Systems Specification and Design Languages

$109.99

Orthopdie und Unfallchirurgie fr Hausrzte und Arbeitsmediziner

$64.99

Dynamic Phasors in Energy Processing Systems

$129.99

Freiheit des Unternehmers und des Grundeigentmers und ihre Pflichtenbindungen im ffentlichen Inter

$59.99

Computational Linguistics and Intelligent Text Processing

$89.99

Education of Children with Special Needs

$169.00

Contemporary Prime Ministerial Leadership in Britain and Japan

$65.00

Lectures on Nuclear Theory

$54.99

Computational Inference and Control of Quality in Multimedia Services

$54.99

K-Pop Revolution

$8.24

Vorratsschdlinge und Hausungeziefer

$79.99

Residue Reviews

$99.00

The Tensed Theory of Time

$279.99

Neurodegenerative Disorders

$89.99

Die sexuelle Evolution

$29.99

Digital einkaufen

$9.99

Intelligent Automation and Systems Engineering

$129.00

Entr'acte

$34.99

Korea-China Relations in History and Contemporary Implications

$139.99