Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings
0
0 ratings
Genres
- Logic design
- Computer science
- Software engineering
- Operating systems (Computers)
- Computer software, development
- Fault-tolerant computing
- System design
- System analysis
- Automatic control
- Programming Techniques
- Software Engineering/Programming and Operating Systems
- Logics and Meanings of Programs
- Operating Systems
- Programming Languages, Compilers, Interpreters
people already read
people are currently reading
people want to read
About the author
Editions
