10% OFF

Specification And Proof In Real Time Csp

by Jim (University Of Oxford) Davies
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, January of 2012 ‧
74,35€
10% OFF CARD
free shipping
Sell ​​your book
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.

Specification And Proof In Real Time Csp

by Jim (University Of Oxford) Davies

Property Description
ISBN: 9781107403864
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: January of 2012
Language: English
Cover: Softcover
Pages: 200
Format: Book
Collection: Distinguished Dissertations In Computer Science
Categories: Books in English > Computing > Other Applications
EAN: 9781107403864