Normal view MARC view ISBD view

NASA Formal Methods [Recurso electrónico] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person.

Goodloe, Alwyn E.
Contributor(s): Person, Suzette.
Material type: materialTypeLabelBook; Format: electronic available online remoteSeries: Lecture Notes in Computer Science, 7226.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012ISBN: 9783642288913.Subject(s): Computer science | Software engineering | Operating systems (Computers) | Logic design | Computer Science | Software Engineering | Programming Languages, Compilers, Interpreters | Operating Systems | Logics and Meanings of Programs | Software Engineering/Programming and Operating Systems | 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