|
" NASA formal methods : "
Julia M. Badger, Kristin Yvonne Rozier (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
649830
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
NFM (Symposium)(6th :2014 :, Houston, Tex.)
|
| Title & Author
|
:
|
NASA formal methods : : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29-May 1, 2014 : proceedings /\ Julia M. Badger, Kristin Yvonne Rozier (eds.)
|
| Series Statement
|
:
|
Lecture notes in computer science ;; 8430
|
|
|
:
|
LNCS sublibrary. SL 2, Programming and software engineering
|
| Page. NO
|
:
|
xxv, 360 pages :: illustrations ;; 24 cm
|
| ISBN
|
:
|
9783319061993
|
|
|
:
|
: 3319061992
|
|
|
:
|
9783319062006 (ebk.)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Formal methods (Computer science), Congresses
|
| Dewey Classification
|
:
|
004.01/51
|
| LC Classification
|
:
|
QA76.9.F67N46 2014
|
| Added Entry
|
:
|
Badger, Julia M.
|
|
|
:
|
Rozier, Kristin Yvonne
|
| Parallel Title
|
:
|
NFM 2014
|
| |