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

Formal Methods and Software Engineering

Formal Methods and Software Engineering

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

Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design techniques, and veri?cation methods and tools have been developed and applied to the construction of programs used in critical applications. The ch- lenge now is to scale up formal methods and integrate them into engineering - velopment processes for the correct and e?cient construction and maintenance of computer systems in general. This requires us to improve the state of the art on approaches and techniques for integration of formal methods into industrial engineering practice, including new and emerging practice. The now long-established series of International Conferences on Formal - gineering Methods brings together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend and to help - vance the state of the art. This volume contains the papers presented at ICFEM 2009, the 11th International Conference on Formal Engineering Methods, held during December 911, in Rio de Janeiro, Brazil.

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

Single Product Purchase

$84.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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

South African Literature after the Truth Commission

$39.99

Central Bank Independence, Accountability, and Transparency

$109.99

Antiviral Resistance in Plants

$199.99

Echocardiography in Adult Congenital Heart Disease

$109.99

Scholar Zone Extended Learning ELA Grade 1 (2 Scholar)

$75.00

The Resilient Physician

$69.99

The Role of BRICS in Large-Scale Armed Conflict

$79.99

Oilseeds: Health Attributes and Food Applications

$109.00

Mathematik fr Ingenieurwissenschaften: Grundlagen

$29.99

The Shoulder Made Easy

$199.99

Foundations of Discrete Harmonic Analysis

$64.99

Fliegen lernen

$29.99

Messunsicherheiten Anwendungen

$17.99

The Chemical Bond

$169.99

The Magic School Bus at the Waterworks

$6.74

Algorithms and Models for the Web Graph

$54.99

Alternatives to Antibiotics

$249.99

Biophysical Characterization of Functional Peptides

$199.99

Education and Technological Unemployment

$109.99

Kraftwagen im Heeressanittsdienste

$59.99

Stochastic Discounted Cash Flow

$59.99

Social Media in Clinical Practice

$39.99

The Vitreous State

$279.99

The Political Economy of Money and Banking in Imperial Brazil, 18501889

$119.99

Geschichte des Untergangs der antiken Welt

$99.99

Modern Climate Change Science

$69.99

Sensory Neuropathies

$74.99

333 Keywords Marktforschung

$19.99

Sportmedizinische Forschung

$69.99

The Molecular Biology of Chloroplasts and Mitochondria in Chlamydomonas

$259.00

Die Kultur von Scenedesmus obliquus in Abwasser

$49.99

European Union-United States Security Relations

$109.99

The Holy Spirit and Christian Formation

$169.99

Elemente der Ersten Nebengruppe

$59.99

Watergate Remembered

$54.99

Multidimensional and Strategic Outlook in Digital Business Transformation

$179.99

Multidisciplinary Care of the Head and Neck Cancer Patient

$109.99

eHealth 360

$54.99

The Development of the Italian Schools of Painting

$54.99

The Cambridge N-Body Lectures

$109.99