Margaria, Tiziana.
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 / [electronic resource] : edited by Tiziana Margaria, Bernhard Steffen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6416 0302-9743 ; . - Lecture Notes in Computer Science, 6416 .
9783642165610
10.1007/978-3-642-16561-0 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
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 / [electronic resource] : edited by Tiziana Margaria, Bernhard Steffen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6416 0302-9743 ; . - Lecture Notes in Computer Science, 6416 .
9783642165610
10.1007/978-3-642-16561-0 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113