Language: English

圖資館首頁

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Barrett, Clark.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

NASA formal methods9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings / by: (1998 :); Barrett, Clark.; Davies, Misty.; Kahsai, Temesghen.; SpringerLink (Online service) (Electronic resources)

Subjects

Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Programming Techniques. Algorithm Analysis and Problem Complexity. Formal methods (Computer science) Programming Languages, Compilers, Interpreters.

Change password

Login