ℹ️ Informasi Berkas Arsip: Metadata koleksi ini tersedia di database, namun berkas fisik --gerardoreg-1896-1-2017con-d.pdf belum disalin ke direktori penyimpanan server (./files/disk1/ atau ./files/uploads/). Anda tetap dapat membaca/mencetak lembar katalog ini atau mengunggah berkas PDF melalui menu Edit Koleksi.
Concise Guide to Formal Methods
Penulis: Gerard O'Regan •
Identifier: --gerardoreg-1896
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.