0
*
0
*
1450
2025
book-filter
Work cover

Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings

  • Klaus Havelund

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
Already read

people already read

Currently reading

people are currently reading

Want to read

people want to read

About the author

  • Klaus Havelund

    0

    0 ratings · 8 works

Editions

  • Edition cover

    Springer

    2011