Catalog

Record Details

Catalog Search


Search Results Showing Item 4 of 4

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

Derrick, John. (editor.). Vain, Jüri. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783540731962
  • Physical Description: electronic
    electronic resource
    access
    remote
    XI, 375 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
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 4 of 4

Additional Resources