Summary goes here
Furkejuvvon:
| Materiálatiipa: | Girji |
|---|---|
| Giella: | eaŋgalasgiella |
| Fáttát: | |
| Fáddágilkorat: |
Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | f811ef19-9701-4e29-9c42-e22d367364e8 |
| isbn | 9783642288913 364228891X |
| issn | |
| language | eng |
| physical | 1 online resource (xii, 466 pages) |
| publication | – publisher: Springer dateOfPublication: ©2012 |
| publishDate | ©2012 |
| subjects | |
| title | NASA formal methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / Alwyn E. Goodloe, Suzette Person (eds.). |
| topic | Formal methods (Computer science) Fault-tolerant computing Computer software System analysis Operating systems (Computers) Electronic Data Processing Computer Science. Software Engineering. Programming Languages, Compilers, Interpreters. Operating Systems. Logics and Meanings of Programs. Software Engineering/Programming and Operating Systems. Programming Techniques. Méthodes formelles (Informatique) Tolérance aux fautes (Informatique) Logiciels Analyse de systèmes Informatique. Systèmes d'exploitation (Ordinateurs) computer science. data processing. operating systems. Informatique. Computer software Fault-tolerant computing Formal methods (Computer science) System analysis Computer science. Software engineering. Operating systems (Computers) Logic design. Programming Languages, Compilers, Interpreters. Operating Systems. Logics and Meanings of Programs. Software Engineering/Programming and Operating Systems. Programming Techniques. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. |