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

Nanoelektronik

$54.99

Kung Pow Chicken: The Birdy Snatchers

$5.24

Localising Chinese

$54.99

Teachers Exploring Tasks in English Language Teaching

$109.99

Digitale Transformation des Marketings und Vertriebs in B2B-Unternehmen

$17.99

Religious Experience in Trauma

$109.99

Perspectives in Regenerative Medicine

$84.99

Readings in Pediatric Psychology

$54.99

Nonsmooth Mechanics

$129.00

Private Action for Public Purpose

$84.99

How Digital Intelligence Drives Business Growth

$129.99

Optimum Design and Manufacture of Wood Products

$109.99

Business Technology Organization

$109.99

Stereotype in der Schule II

$84.99

Whler in Deutschland

$59.99

Early Interventions in Acute Myocardial Infarction

$169.00

Motions of Ice Hydrometeors in the Atmosphere

$129.99

250 Keywords Preis- und Produktpolitik

$9.99

Optical Waveguide Theory by the Finite Element Method

$54.99

Air-Design als Erfolgsfaktor im Handel

$44.99

Fiber Electronics

$129.00

Grundlagen II

$59.99

Educational Leaders Without Borders

$109.99

Advances in Web-Age Information Management

$39.99

Management-Andragogik 1

$59.99

My Books Summer Grade 5 Fiction/Nonfiction 6-Book Pack

$34.95

Solving Pavement and Construction Materials Problems with Innovative and Cutting-edge Technologies

$109.99

I Spy A To Z (Hardcover)

$11.24

The Econometrics of Demand Systems

$169.99

Ethics and Artificial Intelligence

$119.00

Die Steuerung des Gaswechsels in schnellaufenden Verbrennungsmotoren

$39.99

Daseinsvorsorge

$49.99

Unlocking Social Theory with Popular Culture

$129.99

Carbon Rich Compounds I

$219.99

Quantum Computing Solutions

$34.99

Urban Development in Asia and Africa

$189.00

Tragic Time in Drama, Film, and Videogames

$54.99

Einflussfaktoren des erfolgreichen Auslandseinsatzes

$74.99

Investigating the Performance of Chinese Banks: Efficiency and Risk Features

$54.99

Speech, Media and Ethics

$84.99