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

Aufgaben aus der technischen Mechanik

$49.99

Seeds for Diversity and Inclusion

$59.99

Complex Networks & Their Applications VI

$259.00

Advances in E-Business Engineering for Ubiquitous Computing

$169.99

Radiopharmaceuticals for Therapy

$159.99

Entwicklungspolitik

$59.99

Towards Open and Trustworthy Digital Societies

$119.99

Advances in Computer Games

$54.99

Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens

$59.99

Image Registration

$129.00

Rstung und Rstungskontrolle in Asien

$64.99

Reviews of Physiology, Biochemistry and Pharmacology

$84.99

Experimental Unsaturated Soil Mechanics

$329.99

Skin Disease in Travelers

$149.99

Decolonising Curriculum Knowledge

$169.99

Enzymes in Anesthesiology

$39.99

Computer Security - ESORICS 2014

$39.99

Nonlinear Filtering and Stochastic Control

$34.99

Systemtheorie und Ethik als Grundlagen umweltbewuter Unternehmensfhrung

$49.99

Monitoring and Evaluation of Production Processes

$109.99

Unterwegs im Krankenhaus - Pflegerische Aufgaben beim Patiententransport

$9.99

Artificial Intelligence in Medicine

$84.99

Die Bernauer Manuskripte ber das Zeitbewusstsein (1917/18)

$309.00

Freiformschmiede

$44.99

Neuroanatomy and Pathology of Sporadic Alzheimer's Disease

$169.99

Die gesellschaftliche Konstruktion der Stadt

$44.99

Personalized, Evolutionary, and Ecological Dermatology

$84.99

Business Driven Action Learning

$39.99

Tumours of the Skull Base and Paranasal Sinuses

$54.99

Intellectual Property Protection of Traditional Cultural Expressions

$109.99

International Taxation

$69.99

Mindestreservekonzeptionen

$59.99

Mental Health in the Digital Age

$159.99

Information Technology and Intelligent Transportation Systems

$219.99

Interactive Distributed Multimedia Systems and Telecommunication Services

$39.99

konomie, Diskurs, Regierung

$64.99

Project Analysis in Developing Countries

$19.99

Wrterbuch der anatomischen Fachbegriffe

$54.99

Archaeogeophysics

$84.99

Death, Time and the Other

$39.99