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

Kristin Yvonne Rozier, Swarat Chaudhuri

Informasi Dasar

Dilihat

6 kali

No. Katalog

24.21.1009

Klasifikasi

004

Jenis katalog

Buku - Elektronik (E-Book)

No. Rak

1

Abstraksi

Subjek

Subjek utama

COMPUTER SCIENCE

Subjek tambahan

 

Katalog

Judul

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

ISBN

978-3-031-33170-1

Kolasi

490p.: pdf file.; 19 MB

Bahasa

English

Sirkulasi

Harga pinjam

Rp. 0

Biaya denda

Rp. 0

Sirkulasi

Tidak

Pengarang

Nama

Kristin Yvonne Rozier, Swarat Chaudhuri

Jenis

Perorangan

Penyunting/
Pembimbing

 

Alih bahasa

 

Penerbit

Nama

Springer Cham

Kota

New York

Tahun

2023

Koleksi

Total

1 Koleksi

Tersedia

0 Koleksi

Kompetensi

Tidak ada

 

Download / Flippingbook

Link file

E - Book (ebook.pdf)

belum pernah diunduh

Rekomendasi

 

Ulasan

Belum ada ulasan yang diberikan

anda harus sign-in untuk memberikan ulasan ke katalog ini

• Kembali