Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
IFM'99 - Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 (Paperback, Softcover reprint of the original 1st ed. 1999)
Loot Price: R2,846
Discovery Miles 28 460
|
|
IFM'99 - Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 (Paperback, Softcover reprint of the original 1st ed. 1999)
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.