Catalog

Record Details

Catalog Search


Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.

Margaria, Tiziana. (editor.). Steffen, Bernhard. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

Record details

  • ISBN: 9783642165580
  • Physical Description: XX, 708p. 220 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Search for related items by subject

Subject: Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Data mining.
Information systems.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Information Systems Applications (incl.Internet).
Data Mining and Knowledge Discovery.

Search for related items by series


Additional Resources