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 2008: Formal Methods

FM 2008: Formal Methods

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

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.

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

Second-order Learning in Developmental Evaluation

$54.99

Proceedings of the 5th China and International Young Scientist Terahertz Conference, Volume 2

$219.99

Prioritten richtig setzen

$39.99

Combinatorial Pattern Matching

$39.99

Clara and Clem: Clara and Clem in Outer Space

$4.46

Waves in Biomechanics

$59.99

Tolerance : Experiments with Freedom in the Netherlands

$109.99

A Concise Introduction to Linear Algebra

$59.99

Economic Foundation of Asset Price Processes

$109.99

Umweltmanagement im Spannungsfeld zwischen kologie und konomie

$59.99

Colores del Caribe

$3.71

WASSIM Computersimulation von Wasserversorgung und Abwasserentsorgung in Verdichtungsrumen

$49.99

Hochschule der Zukunft

$84.99

CIM im Mittelstand

$69.99

Dealing with Emotions

$49.99

Active Cognition

$84.99

Crystallization Modalities in Polymer Melt Processing

$84.99

Biological Aspects of Circadian Rhythms

$39.99

Language Origin: A Multidisciplinary Approach

$329.99

Virginia Woolf and the Literary Marketplace

$39.99

Development at Work

$109.99

Pervasive Computing Technologies for Healthcare

$99.99

Mitarbeiterbeteiligung

$59.99

History of Social Work in Europe (19001960)

$54.99

Natural Products and Cancer Drug Discovery

$129.00

Fderalismus in Deutschland

$59.99

Building Democracy through Education on Diversity

$39.99

Abduction, Reason and Science

$84.99

New Concepts in Pathology and Treatment of Autoimmune Disorders

$109.99

Die dynamoelektrische Maschine

$69.99

Computer Vision

$49.99

Electrical and Related Properties of Organic Solids

$54.99

Delay Equations

$129.00

Transfusionsassoziierte Pharmakotherapie

$59.99

Critical Reading in Language Education

$109.99

Russia and the Challengers

$54.99

The Other Side of Prospect - A Story of Violence, Injustice,andTheAmericanCity by Nicholas Dawidoff

$32.50

Social Change and Stratification in Postwar Czechoslovakia

$74.99

Knowledge-Based System Diagnosis, Supervision, and Control

$169.99

Automation und Entscheidung

$59.99