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

IFM99

IFM99

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

Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics systems, engine control software) can involve functional and timing requirements that must be eventually implemented as executing code on a communicating distributed topology. This book contains the papers presented at the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. The conference provided a forum for the discussion of theoretical aspects of combing behavioural and state-based formalisms and practical solutions to the industrial problems of this approach.

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

Umformtechnik Handbuch fr Industrie und Wissenschaft

$309.00

Handbook of Mindfulness and Self-Regulation

$189.00

Scabies

$199.99

Globalisierung nach der Corona-Krise

$9.99

Raum, Zeit, Identitt

$64.99

Pharmakologie und Toxikologie

$69.99

Production of Biofuels and Chemicals from Lignin

$169.00

Design, Technology and Communication in the British Empire, 18301914

$54.99

Innovations in Electronics and Communication Engineering

$169.99

Type-2 Fuzzy Decision-Making Theories, Methodologies and Applications

$54.99

Simulationstechnik

$69.99

International Labour Law

$39.99

Hchstfrequenztechnik

$89.99

The Evolving Landscape of Liver Cirrhosis Management

$159.99

Integral Transforms in Science and Engineering

$54.99

A Puerto Rican Decolonial Theology

$139.99

Geoarchaeology and Archaeological Mineralogy2021

$189.00

Handbook of Acute Leukemia

$54.99

Public Sector Performance and Development Cooperation in Rwanda

$44.99

Laser Dermatology

$84.99

Spurenelementanalyse durch ioneninduzierte Rntgenstrahlung

$39.99

Examining Neurocritical Patients

$169.99

Biology of the Vespine Wasps

$109.99

Political and Related Models

$54.99

Targeted Drug Delivery

$84.99

Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges

$69.99

Balneologie und medizinische Klimatologie

$84.99

Dirty Laundry - A Novel by Disha Bose

$27.00

Integrated System for Intelligent Control

$39.99

Scholastic Discover More Reader Level 1: Petting Zoo

$2.99

Geo-Architecture and Landscape in Chinas Geographic and Historic Context

$54.99

Algorithms and Architectures for Parallel Processing

$79.99

Understanding Modern Dive Computers and Operation

$54.99

Wie glaubwrdig sind die Hadithe?

$17.99

Mechanisms and Models in Toxicology

$54.99

Sugar Chains

$109.99

Diagnostik der Kinderkrankheiten mit Besonderer Bercksichtigung des Suglings

$59.99

Applied RNA Bioscience

$129.00

Moral Emotions and Intuitions

$54.99

Dynamics of Saturated Electric Machines

$84.99