Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Not currently available

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,500
Discovery Miles 25 000
Repayment Terms: R234 pm x 12*
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,500 Discovery Miles 25 000 | Repayment Terms: R234 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

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

Clean Architecture - A Craftsman's Guide to Software Structure and Design (Paperback): Robert Martin
Clean Architecture - A Craftsman's Guide…
Robert Martin Paperback  (1)
 R681 Discovery Miles 6 810
Hardware Accelerator Systems for Artificial Intelligence and Machine Learning, Volume 122 (Hardcover): Shiho Kim, Ganesh...
Hardware Accelerator Systems for…
Shiho Kim, Ganesh Chandra Deka Hardcover R4,083 Discovery Miles 40 830
Dark Silicon and Future On-chip Systems, Volume 110 (Hardcover): Suyel Namasudra, Hamid Sarbazi-Azad
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,967 Discovery Miles 39 670
Essential Java for Scientists and Engineers (Paperback): Brian Hahn, Katherine Malan
Essential Java for Scientists and…
Brian Hahn, Katherine Malan Paperback R528 Discovery Miles 5 280
Designing the User Interface: Strategies for Effective Human-Computer Interaction, Global Edition (Paperback, 6th edition): Ben...
Designing the User Interface: Strategies…
Ben Shneiderman, Catherine Plaisant, … Paperback R1,126 R981 Discovery Miles 9 810
Modern Software Engineering - Doing What Works to Build Better Software Faster (Paperback): David Farley
Modern Software Engineering - Doing What…
David Farley Paperback R860 Discovery Miles 8 600
Perspective of DNA Computing in Computer Science, Volume 129 (Hardcover): Suyel Namasudra
Perspective of DNA Computing in Computer…
Suyel Namasudra Hardcover R4,072 Discovery Miles 40 720
Advances in Computers, Volume 130 (Hardcover): Ali Hurson
Advances in Computers, Volume 130
Ali Hurson Hardcover R4,072 Discovery Miles 40 720
Principles of Big Graph: In-depth Insight, Volume 128 (Hardcover): Ripon Patgiri, Ganesh Chandra Deka, Anupam Biswas
Principles of Big Graph: In-depth…
Ripon Patgiri, Ganesh Chandra Deka, … Hardcover R4,072 Discovery Miles 40 720
Edge/Fog Computing Paradigm: The Concept, Platforms and Applications., Volume 127 (Hardcover): Pethuru Raj, Kavita Saini,...
Edge/Fog Computing Paradigm: The…
Pethuru Raj, Kavita Saini, … Hardcover R4,119 Discovery Miles 41 190
Data Prefetching Techniques in Computer Systems, Volume 125 (Hardcover): Pejman Lotfi-Kamran, Hamid Sarbazi-Azad
Data Prefetching Techniques in Computer…
Pejman Lotfi-Kamran, Hamid Sarbazi-Azad Hardcover R4,072 Discovery Miles 40 720
Advances in Computers, Volume 124 (Hardcover): Suyel Namasudra
Advances in Computers, Volume 124
Suyel Namasudra Hardcover R4,072 Discovery Miles 40 720

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners