Catalog

Record Details

Catalog Search


Search Results Showing Item 6 of 7

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Suzuki, Kenji. (editor.). Higashino, Teruo. (editor.). Yasumoto, Keiichi. (editor.). El-Fakih, Khaled. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783540688556
  • Physical Description: electronic
    electronic resource
    access
    remote
    XII, 344 p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
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 6 of 7

Additional Resources