NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings

Kristin Yvonne Rozier, Swarat Chaudhuri

Informasi Dasar

39 kali
24.21.1009
004
Buku - Elektronik (E-Book)
1

Subjek

COMPUTER SCIENCE
 

Katalog

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
978-3-031-33170-1
490p.: pdf file.; 19 MB
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Kristin Yvonne Rozier, Swarat Chaudhuri
Perorangan
 
 

Penerbit

Springer Cham
New York
2023

Koleksi

Kompetensi

 

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini