Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
IFM99
Best Price (Coupon Required):
Buy IFM99 for $76.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Security and Privacy in Digital Rights Management
$39.99
Control Configuration Selection for Multivariable Plants
$84.99
Applikationen der Optoelektronik
$17.99
Numerical Algorithms for Modern Parallel Computer Architectures
$84.99
Politische Planungssysteme
$59.99
Tips and Techniques in Laparoscopic Surgery
$189.00
Leitfaden der Immunologie
$59.99
Integrierter Umweltschutz
$69.99
Labor Relations in New Democracies
$19.99
Teamwork in Neurology
$54.99
Nature Stories: Little Caterpillar
$4.46
Atlas of the Gravity and Magnetic Fields of the Moon
$169.00
The Thief Who Sang Storms (Hardcover)
$13.49
Cellular Automaton Modeling of Biological Pattern Formation
$149.00
Fullerene-Based Materials
$259.00
Superschool on Derived Categories and D-branes
$199.99
Bayesian Optimization with Application to Computer Experiments
$69.99
Presuppositions and Cognitive Processes
$59.99
Victorian Political Thought on France and the French
$109.99
THz and Sub-THz CMOS Electronics for High-Speed Telecommunication
$199.99
Distributed Applications and Interoperable Systems
$54.99
Advances in Human Factors, Business Management and Society
$219.99
Sero-, Vaccine- und Proteinkrper-Therapie
$59.99
Comparative Pathophysiology of Circulatory Disturbances
$109.99
Enzyklopdie Philosophie und Wissenschaftstheorie
$49.99
Drinking in Victorian and Edwardian Britain
$31.00
Sapientia Astrologica: Astrology, Magic and Natural Knowledge, ca. 1250-1800
$159.99
5th Refinement Workshop
$54.99
BIM in Bridge and Infrastructure Design
$99.99
Cone Beam CT and 3D imaging
$119.99
Chinese Student Migration, Gender and Family
$39.99
Hypertension in the Dog and Cat
$199.99
Declarative Agent Languages and Technologies VII
$39.99
The Genetic Manipulation of Staphylococci
$89.00
Communication and Bioethics at the End of Life
$84.99
Challenges of Second and Foreign Language Education in a Globalized World
$109.99
Agrarkommunikation
$29.99
Religionspolitik und Politik der Religionen in Deutschland
$44.99
Haloforms and Related Compounds in Drinking Water
$219.99
Organic Synthesis in Water
$39.99
