Catalog

Record Details

Catalog Search


Search Results Showing Item 6 of 6

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Boer, Frank S. (editor.). Bonsangue, Marcello M. (editor.). Madelaine, Eric. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642041679
  • Physical Description: electronic
    electronic resource
    access
    remote
    online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
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 6 of 6

Additional Resources