Cousot, Radhia.

Verification, Model Checking, and Abstract Interpretation (vol. # 3385) 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings [Recurso electrónico] / edited by Radhia Cousot. - Berlin Heidelberg : Springer-Verlag GmbH., 2005 - v.: digital - Lecture Notes in Computer Science, 3385 0302-9743 ; .

Restringido a usuarios de la UCA


Modo de acceso: World Wide Web

9783540305798


Computer science
Logic design
Software engineering
Computer Science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering

Powered by Koha