Cover Image
Read Now

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

Bibliographic Details
Other Authors: Margaria, Tiziana (Editor), Steffen, Bernhard (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:1st ed. 2010
Series:Theoretical Computer Science and General Issues
Subjects:
Computer Communication Networks
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Data Mining
Application Software
Computer Networks 
Data Mining And Knowledge Discovery
Computer And Information Systems Applications
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Physical Description:XV, 498 p. 157 illus online resource
ISBN:9783642165610

Similar Items