Catalog

Record Details

Catalog Search


Search Results Showing Item 5 of 678

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

Bowman, Howard. (author.). Gomez, Rodolfo. (author.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9781846283369
  • Physical Description: electronic
    electronic resource
    access
    remote
    XX, 422 p. 126 illus. online resource.
  • Publisher: London : Springer London, 2006.
Subject: Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Search Results Showing Item 5 of 678

Additional Resources