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

Dermatologische Reaktionen bei onkologischen Therapien

$24.99

Imaging Processes and Coherence in Physics

$74.99

Crime and the Imaginary of Disaster

$54.99

Skin Tumors and Reactions to Cancer Therapy in Children

$54.99

The Economics of Military Expenditures

$74.99

Trends in Colloid and Interface Science X

$39.99

Knowledge-Based and Intelligent Information and Engineering Systems, Part III

$39.99

Quantum Algorithms for Cryptographically Significant Boolean Functions

$69.99

History of the Treatment of Spinal Injuries

$39.99

Lessons for Science from the Seven Countries Study

$54.99

Management Decision Support Systems

$14.99

Developments and Advances in Defense and Security

$379.99

Chemische kotoxikologie

$39.99

Soft Tissues of the Extremities

$39.99

Die Regulierung elektrischer Netze

$84.99

Stefan George und die Jugendbewegung

$59.99

Werkstattbuch Familienzentrum

$54.99

Neighborhood Disorganization and Social Control

$54.99

The Proton in Chemistry

$54.99

The Epistemology of Keith Lehrer

$129.00

Marine Pollution

$109.99

XploRe: An Interactive Statistical Computing Environment

$39.99

Advanced Industrial Wastewater Treatment and Reclamation of Water

$169.99

Kuferverhalten

$34.99

Retreating from the Cold War

$54.99

Strategien fr den Lernerfolg berufsttiger Studierender

$29.99

Progress in Cryptology - INDOCRYPT 2008

$39.99

Der ttowierte Leib

$49.99

Datenorganisation und Datenbanken

$37.99

Electrical Design of a 400 kV Composite Tower

$109.99

Dental Anthropology

$89.00

Physikhtte

$59.99

Unmasking Project Management

$84.99

Fresh Princess: Fresh Princess

$4.49

Opposition in der DDR von den 70er Jahren bis zum Zusammenbruch der SED-Herrschaft

$49.99

Pathologisch-anatomische Sektionsmethode

$59.99

Planungsqualitt bei Prozessinnovationen

$74.99

Belief Functions: Theory and Applications

$54.99

Intensivmedizin und Management bei Organspende und Transplantation

$24.99

Researching Families and Relationships

$54.99