Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /

Show other versions (1)
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Margaria, Tiziana (Editor), Steffen, Bernhard (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6416
Subjects:
Computer science.
Computer communication systems.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Data mining.
Computer Science.
Computer Communication Networks.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl. Internet).
Data Mining and Knowledge Discovery.
Online Access:Full Text via HEAL-Link

Similar Items

Similar Items