0
Your cart

Your cart is empty

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,...

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)

Keijiro Araki, Andy Galloway, Kenji Taguchi

 (sign in to rate)
Loot Price R2,846 Discovery Miles 28 460 | Repayment Terms: R267 pm x 12*

Bookmark and Share

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

Imprint: Springer London
Country of origin: United Kingdom
Release date: June 1999
First published: 1999
Editors: Keijiro Araki • Andy Galloway • Kenji Taguchi
Dimensions: 235 x 155 x 25mm (L x W x T)
Format: Paperback
Pages: 477
Edition: Softcover reprint of the original 1st ed. 1999
ISBN-13: 978-1-85233-107-8
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General
LSN: 1-85233-107-0
Barcode: 9781852331078

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..

Programming Logic & Design…
Joyce Farrell Paperback R1,253 R1,123 Discovery Miles 11 230
Using UML - Software Engineering with…
Perdita Stevens Paperback R2,134 Discovery Miles 21 340
Software Engineering for Real-Time…
Jim Cooling Paperback R2,301 R1,995 Discovery Miles 19 950
Writing Better Requirements - Writing…
Ian Alexander, Richard Stevens Paperback R2,093 Discovery Miles 20 930
Software Requirements - Styles and…
Soren Lauesen Paperback R3,181 Discovery Miles 31 810
Design and Use of Software Architectures…
Jan Bosch Paperback R2,573 Discovery Miles 25 730
Software Requirements And Specifications…
M. Jackson Paperback R2,305 Discovery Miles 23 050
Software Inspection
Tom Gilb, Dorothy Graham Paperback R2,703 Discovery Miles 27 030
Engineering Management for the Rest of…
Sarah Drasner Paperback R458 R388 Discovery Miles 3 880
The Business Analyst - Information…
Vernon Zwiers Paperback R657 R579 Discovery Miles 5 790
Engineering Management for the Rest of…
Sarah Drasner Hardcover R708 R599 Discovery Miles 5 990
ISE Object-Oriented Software…
David Kung Paperback R1,811 Discovery Miles 18 110

See more

Partners