Catalog

Record Details

Catalog Search


Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers Cover Image E-book E-book

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov.

Beckert, Bernhard. (editor.). Damiani, Ferruccio. (editor.). Gurov, Dilian. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642317620
  • Physical Description: X, 251 p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.

Search for related items by subject

Subject: Computer science.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Management of Computing and Information Systems.

Search for related items by series

Electronic resources

Texto completo


Additional Resources