Reactive systems : modelling, specification and verification :: ISBN 9780521875462 :: Cambridge University Press 2007 :: OBNB, the Open British National Bibliography

Publication Data

Title Reactive systems : modelling, specification and verification
Contributor Luca Aceto
Publisher Cambridge University Press
Publication date 2007
Publication location Cambridge
Language English

Topics

Expert systems (Computer science) :: Validation
Expert systems (Computer science) :: Verification
013715613

Catalogue Data

OBNB ID GBA728518
ISBN 10 0521875463
ISBN 13 9780521875462
Type BibliographicResource, Book
Dewey Classification 006.330151

ISBD

P1053 xvi, 284 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Reactive systems : modelling, specification and verification. ISBN 9780521875462. Published by Cambridge University Press in 2007. Publication and catalogue information, links to buy online and reader comments.