Detail Pustaka

SOFTWARE ENGINEERING AND FORMAL METHODS

Penulis

Loek Cleophas • Mieke Massink

Kategori teknik mesin ,
Kata kunci formal methods , software engineering ,
Penerbit Springer
Tahun 2020-11-23
Bahasa inggris
Jenis buku
Halaman 344 Halaman
Hak Cipta Springer Nature Switzerland AG
ISBN 978-623-95493-0-5
Hak Akses open_akses