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

Elemente optischer Netze

$39.99

New Leadership in Strategy and Communication

$109.99

Biographie Religiositt Bildung

$69.99

Disruptive Tourism and its Untidy Guests

$39.99

Finite and Infinite Combinatorics in Sets and Logic

$259.00

Efficient Quadrature Rules for Illumination Integrals

$37.99

Transactions on Petri Nets and Other Models of Concurrency I

$39.99

Technikeinsatz und Verlagerungsprozesse in Unternehmensnetzwerken

$37.99

Star Mentor: Hands-On Projects and Lessons in Observational Astronomy for Beginners

$37.99

Parasitic Zoonoses

$219.99

Mehrstufige Losgrenplanung bei Kapazittsrestriktionen

$59.99

Regierungskommunikation in modernen Demokratien

$39.99

Entwicklung einer Vorgehensweise zur Erstellung eines Messinstruments fr einzelne Dynamic Capabilit

$69.99

Automation of Cytogenetics

$109.99

Developing Strategies for International Business

$109.99

Service-Oriented Computing ICSOC 2021 Workshops

$64.99

Nahost Jahrbuch 2004

$59.99

Virus Infections and the Developing Nervous System

$39.99

Armenverwaltung

$59.99

Mobile Web Information Systems

$39.99

Introduction to Evolutionary Computing

$54.99

Analytics und Artificial Intelligence

$59.99

Husserl and Intentionality

$74.99

Programmieren in Java 1.5

$9.95

Handbook of Genetics

$169.99

Leishmania

$129.00

Optimization and Multiobjective Control of Time-Discrete Systems

$84.99

In Praise of Ordinary People

$54.99

Topographische Anatomie

$69.95

Japans Zukunftsindustrien

$89.99

Boys at Sea

$89.00

Eclipse TEA Revealed

$29.99

Die Anatomie digitaler Geschftsmodelle

$17.99

Intelligent City Evaluation System

$109.99

The Kepler Problem

$84.99

Sustainable Agriculture Reviews 57

$219.99

European Union Support for Colombia's Peace Process

$49.99

In Memoriam

$49.99

Big Data Benchmarks, Performance Optimization, and Emerging Hardware

$44.99

The Zechstein Facies in Europe

$84.99