Luca Aceto eBooks
eBooks found: 1
Reactive Systems
Cambridge University Press, July 2007
ISBN: 9780521875462
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into >>
List Price:
$76.00
eBook price:
$70.99
eBooks with new Book Reviews
.jpg "Are You This Author? Click here!")
