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