Catalog

Record Details

Catalog Search


Search Results Showing Item 7 of 206

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Beyer, Dirk. (editor.). Boreale, Michele. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642385926
  • Physical Description: electronic
    electronic resource
    access
    remote
    XIV, 321 p. 66 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Subject: Computer science
Software engineering
Logic design
Computer Science
Logics and Meanings of Programs
Software Engineering
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Search Results Showing Item 7 of 206

Additional Resources