Catalog

Record Details

Catalog Search


Search Results Showing Item 3 of 10

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Electronic resources

Record details

  • ISBN: 9783642170713
  • Physical Description: electronic
    electronic resource
    access
    remote
    X, 339p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Subject: Computer science
Software engineering
Operating systems (Computers)
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Operating Systems
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Programming Techniques
Search Results Showing Item 3 of 10

Additional Resources