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 |