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

FM 2011: Formal Methods

FM 2011: Formal Methods

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

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.

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

Der Anti-Stress-Trainer fr Versicherungsmakler

$17.99

Advances in Fetal and Neonatal Physiology

$84.99

Soft Computing Agents

$109.99

Building Resilience to Natural Hazards in the Context of Climate Change

$79.99

Oncologic Imaging: Urology

$84.99

Die Wissenschaft von den Sternen

$39.99

Proceedings of SECON21

$329.99

Werkzeuge fr das Projekt- und Prozessmanagement

$49.99

Soziologie und Soziologen im bergang

$44.99

Data Integration in the Life Sciences

$39.99

Advances in Signal Processing and Communication Engineering

$219.00

Ready-To-Go 100 Book Classroom Library: Nonfiction, Grade 1

$439.00

Job Scheduling Strategies for Parallel Processing

$39.99

Die wirtschaftliche Entwicklung der Bundesrepublik Deutschland im Zeitraum 1950 bis 1975

$69.99

Hardware Design and Simulation in VAL/VHDL

$109.99

IOT with Smart Systems

$229.00

Abe's Honest Words: The Life of Abraham Lincoln

$6.71

Time, Media and Modernity

$54.99

Recreation in the Renaissance

$84.99

Investigations in Linear Operators and Function Theory

$39.99

Sexual Reproduction in Animals and Plants

$59.99

Vorausberechnung des Teillastverhaltens von Gasturbinen

$34.99

Foucault and Post-Financial Crises

$79.99

Mittens-My First I Can Read!: Mittens at School

$4.46

Oculoplastic Surgery Atlas

$119.99

The Diaoyu Islands

$109.99

Raum Zeit Medialitt

$64.99

Previously

$3.75

Knowledge Intensive Design Technology

$109.99

ESOP '92

$39.99

Brain Tumors

$84.99

Condensed Matter Applications of AdS/CFT

$109.00

Dynamical Decoupling in Distance Measurements by Double Electron-Electron Resonance

$39.99

Frauenbildung in selbstorganisierten Projekten

$27.99

Genre Pedagogy in Higher Education

$129.99

Black History Grades 6-8

$125.00

Space Mission Analysis and Design

$379.99

Natural Heritage from East to West

$84.99

Human Autonomy in Cross-Cultural Context

$169.99

Molecular Diagnostics

$169.00