Catalog

Record Details

Catalog Search


Search Results Showing Item 1 of 1

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

Electronic resources

Record details

  • ISBN: 9783540462200
  • Physical Description: electronic
    electronic resource
    access
    remote
    XII, 486 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Subject: Computer science
Computer Communication Networks
Software engineering
Operating systems (Computers)
Logic design
Computer Science
Computer Communication Networks
Software Engineering
Logics and Meanings of Programs
Operating Systems
Search Results Showing Item 1 of 1

Additional Resources