Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 470 of 922
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings Cover Image E-book E-book

Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Salaün, Gwen. (editor.). Schätz, Bernhard. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642244315
  • Physical Description: electronic
    electronic resource
    access
    remote
    X, 261 p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Search for related items by subject

Subject: Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Special Purpose and Application-Based Systems
Programming Techniques
Mathematical Logic and Formal Languages

Search for related items by series

Electronic resources

Texto completo

Back To Results
Showing Item 470 of 922

Additional Resources