Book
Concise Guide to Formal Methods
English
| Identifier | --gerardoreg-1896 |
|---|---|
| Penulis / Pengarang | Gerard O'Regan |
| Kata Kunci | computer science |
| Tanggal Publikasi | 04 Nov 2017 |
| Bahasa | English |
| Abstrak / Deskripsi | The audience of this book includes computer science students who wish to gain a broad and accessible overview of formal methods and its applications to the computing ï¬Âeld. This book will also be of interest to students of mathematics who are curious as to how formal methods are applied to the computing ï¬Âeld. This book will also be of interest to the motivated general reader. |
File Lampiran / Download (1)
| No | Nama Berkas | Format | Ukuran | Aksi |
|---|---|---|---|---|
| 1 | 2017 Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications by ORegan, Gerard.pdf | application/pdf | 6,2 MB | ⬇️ Buka / Download |
Komentar & Diskusi (0)
Belum ada komentar untuk koleksi ini. Jadilah yang pertama berdiskusi!