Path: Top / E-Book / Komputer & Informatika
Concise Guide to Formal Methods
English
Book from #PUBLISHER#By : Gerard O'Regan
Created : 2017-11-04, with 1 files
Keyword : computer science
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.
Property | Value |
---|---|
Publisher ID | |
Organization | |
Contact Name | |
Address | |
City | |
Region | |
Country | |
Phone | |
Fax | |
Administrator E-mail | |
CKO E-mail |
Print ...
Contributor...
- , Editor: digilib@utmmataram.ac.id@#publisher#
Downnload...
Download for member only.
File : 2017 Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications by ORegan, Gerard.pdf
(6543403 bytes)