Normal view MARC view ISBD view

Verification, Model Checking, and Abstract Interpretation [Recurso electrónico] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko.

Kuncak, Viktor.
Contributor(s): Rybalchenko, Andrey.
Material type: materialTypeLabelBook; Format: electronic available online remoteSeries: Lecture Notes in Computer Science, 7148.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012ISBN: 9783642279409.Subject(s): Computer science | Software engineering | Computer software | Logic design | Computer Science | Logics and Meanings of Programs | Software Engineering | Programming Languages, Compilers, Interpreters | Algorithm Analysis and Problem Complexity | Mathematical Logic and Formal Languages | Programming TechniquesAdditional physical formats: Printed edition:: No titleOnline resources: Texto completo
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

Restringido a usuarios de la UCA

Modo de acceso: World Wide Web

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha