Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

IFM'99

Name: IFM'99
Brand: Springer London Ltd
SKU: 06798555
Price: 39688 HUF
Availability: InStock
Author: Keijiro Araki
ISBN: 9781852331078

Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

Keijiro Araki

Andy Galloway

Kenji Taguchi

Language

English

Book Paperback

Libristo code: 06798555

Publishers Springer London Ltd, June 1999

Formal methods have been established as the rigorous engineering methodology for the system developm... Full description

Libristo code: 06798555

271 b

39 688 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Prozess und Philosophie des Helfens Edgar H Schein

Hardback

13 191 Ft

Sumar, restar, multiplicar y dividir números enteros 87.VV.

Paperback

702 Ft

Tarifliche Differenzierungsklauseln nach dem Grundgesetz und dem Tarifvertragsgesetz. Georg Leventis

Paperback

14 582 Ft

L'Exorcisme ou la puissance de la Lumière sur les Ténèbres Schaffner

Paperback

7 945 Ft

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.