Goodloe, Alwyn E.

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / [Recurso electrónico] : edited by Alwyn E. Goodloe, Suzette Person. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - Lecture Notes in Computer Science, 7226 0302-9743 ; . - Lecture Notes in Computer Science, 7226 .

Restringido a usuarios de la UCA


Modo de acceso: World Wide Web

9783642288913


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 Techniques

Powered by Koha