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 /

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Margaria, Tiziana (Éditeur intellectuel), Steffen, Bernhard (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Édition:1st ed. 2010.
Collection:Theoretical Computer Science and General Issues, 6416
Sujets:
Computer networks .
Computer science.
Software engineering.
Compilers (Computer programs).
Application software.
Data mining.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Compilers and Interpreters.
Computer and Information Systems Applications.
Data Mining and Knowledge Discovery.
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Informations d'exemplaires de

Documents similaires