Cover is for reference only

NASA formal methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings /

Saved in:
Bibliographic Details
Corporate Authors: NFM (Symposium) Online)
Group Author: Dutle, Aaron Michael (Editor); Moscato, Mariano M. (Editor); Titolo, Laura (Editor); Muñoz, César A., 1968- (Editor); Perez, Ivan (Research scientist) (Editor)
Published: Springer,
Publisher Address: Cham, Switzerland :
Publication Dates: [2021]
Literature type: Book
Language: English
Series: Lecture notes in computer science, 12673
LNCS Sublibrary: SL2 - Programming and Software Engineering
Subjects:
Formal methods (Computer science) > Congresses.
Formal methods (Computer science)
Carrier Form: xvi, 402 pages : illustrations ; 24 cm.
Bibliography: Includes bibliographical references and index.
ISBN: 9783030763831
3030763838
CLC: TP301.6-532
Call Number: TP301.6-532/N575/2021

Related Book Recommendations