Computation Engineering:: Formal Specification and Verification Methods

Specification

by Ganesh Gopalakrishnan

Hardcover

details (USA).

ISBN: 978-0-387-24419-8

ISBN-10: 0-387-24419-0

Springer · 2007