Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. [Recurso electrónico] :
Margaria, Tiziana.
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / [Recurso electrónico] : edited by Tiziana Margaria, Bernhard Steffen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - v.: digital - Communications in Computer and Information Science, 17 1865-0929 ; .
Restringido a usuarios de la UCA
Modo de acceso: World Wide Web
9783540884798
Computer science
Computer system performance
Software engineering
Computer simulation
Computer Science
Software Engineering
Programming Techniques
Software Engineering/Programming and Operating Systems
Models and Principles
Simulation and Modeling
System Performance and Evaluation
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / [Recurso electrónico] : edited by Tiziana Margaria, Bernhard Steffen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - v.: digital - Communications in Computer and Information Science, 17 1865-0929 ; .
Restringido a usuarios de la UCA
Modo de acceso: World Wide Web
9783540884798
Computer science
Computer system performance
Software engineering
Computer simulation
Computer Science
Software Engineering
Programming Techniques
Software Engineering/Programming and Operating Systems
Models and Principles
Simulation and Modeling
System Performance and Evaluation