Books > Computing & IT > General theory of computing > Mathematical theory of computation
|
Not currently available
Provably Correct Systems (Hardcover, 1st ed. 2017)
Loot Price: R2,937
Discovery Miles 29 370
You Save: R176
(6%)
|
|
Provably Correct Systems (Hardcover, 1st ed. 2017)
Series: NASA Monographs in Systems and Software Engineering
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
As computers increasingly control the systems and services we
depend upon within our daily lives like transport, communications,
and the media, ensuring these systems function correctly is of
utmost importance. This book consists of twelve chapters and one
historical account that were presented at a workshop in London in
2015, marking the 25th anniversary of the European ESPRIT Basic
Research project 'ProCoS' (Provably Correct Systems). The ProCoS I
and II projects pioneered and accelerated the automation of
verification techniques, resulting in a wide range of applications
within many trades and sectors such as aerospace, electronics,
communications, and retail. The following topics are covered: An
historical account of the ProCoS project Hybrid Systems Correctness
of Concurrent Algorithms Interfaces and Linking Automatic
Verification Run-time Assertions Checking Formal and Semi-Formal
Methods Provably Correct Systems provides researchers, designers
and engineers with a complete overview of the ProCoS initiative,
past and present, and explores current developments and
perspectives within the field.
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.