عنوان
پدید آورنده
موضوع
رده
QA76.9.F67
QA76
.
9
.
F67
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3319779346
(Number (ISBN
3319779354
(Number (ISBN
9783319779348
(Number (ISBN
9783319779355
Erroneous ISBN
9783319779348
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
NASA formal methods :
General Material Designation
[Book]
Other Title Information
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
First Statement of Responsibility
Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2018.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xi, 470 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Formal methods
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
10811
ISSN of Series
0302-9743 ;
GENERAL NOTES
Text of Note
Includes author index.
Text of Note
International conference proceedings.
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018 . The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783319779355
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783319779348
PARALLEL TITLE PROPER
Parallel Title
NFM 2018
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science), Congresses.
Artificial intelligence.
Computer modelling & simulation.
Computer science.
Computers-- Computer Science.
Computers-- Computer Simulation.
Computers-- Hardware-- Handheld Devices.
Computers-- Intelligence (AI) & Semantics.
Computers-- Programming Languages-- General.
Computers-- Software Development & Engineering-- General.
Formal methods (Computer science)
Programming & scripting languages: general.
Software Engineering.
Systems analysis & design.
(SUBJECT CATEGORY (Provisional
COM051230
UMZ
UMZ
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01/51
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
F67
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Dutle, Aaron Michael
Muñoz, César A.,1968-
Narkawicz, Anthony Joseph,1982-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
NFM (Symposium)(10th :2018 :, Newport News, Va.)
ORIGINATING SOURCE
Date of Transaction
20200823112731.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
