Catalog

Record Details

Catalog Search


Search Results Showing Item 2 of 6

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, 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: 9783540747925
  • Physical Description: electronic
    electronic resource
    access
    remote
    online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
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 2 of 6

Additional Resources