Layanan ebook yang disediakan oleh Perpustakaan Universitas Gunadarma
Judul: | : | String Analysis for Software Verification and Security |
---|---|---|
ISBN: | : | 978-3-319-68670-7 |
Bahasa: | : | Inggris |
DDC: | : | |
Kepengarangan: | : | Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin |
Edisi: | : | |
Tempat Terbit: | : | Switzerland |
Penerbit: | : | Springer Nature |
Tahun Terbit: | : | 2017 |
Luas Bahan: | : | ix + 174 |
Ilustrasi: | : | |
Dimensi: | : | |
Seri: | : | |
Catatan: | : | |
Bibliografis: | : | |
Keyword: | : | Relational String |