Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Show other versions (1)
Bibliographic Details
Main Author: Bowman, Howard
Other Authors: Gomez, Rodolfo
Format: Electronic Kit Book
Language:English
Published: London Springer-Verlag London Limited 2006
Subjects:
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Online Access:http://dx.doi.org/10.1007/1-84628-336-1
Description
Physical Description:v.: digital
ISBN:9781846283369

Similar Items