Catalog

Record Details

Catalog Search


Search Results Showing Item 7 of 14

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Electronic resources

Record details

  • ISBN: 9783540688945
  • Physical Description: electronic
    electronic resource
    access
    remote
    X, 527 p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Subject: Computer science
Computer Communication Networks
Software engineering
Logic design
Bioinformatics
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Special Purpose and Application-Based Systems
Computer Communication Networks
Computational Biology/Bioinformatics
Search Results Showing Item 7 of 14

Additional Resources