Catalog

Record Details

Catalog Search


Search Results Showing Item 1 of 5

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Boer, Frank S. (editor.). Bonsangue, Marcello M. (editor.). Graf, Susanne. (editor.). Roever, Willem-Paul. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783540921882
  • Physical Description: electronic
    electronic resource
    access
    remote
    online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Subject: Computer science
Software engineering
Operating systems (Computers)
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Operating Systems
Search Results Showing Item 1 of 5

Additional Resources