Specification and Verification of Concurrent Systems
Springer (Publisher)
Published on 1. August 1990
Book
Hardback
612 pages
978-0-387-19581-0 (ISBN)
More details
Series
Language
English
Place of publication
United Kingdom
Product notice
Unsewn / adhesive bound
Illustrations
illustrations
ISBN-13
978-0-387-19581-0 (9780387195810)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification