Formal Methods in Computer Science PDF
by Jiacun (Monmouth University, West Long Branch, New Jersey, USA) Wang, William (Monmouth University, West Long Branch, New Jersey, USA) Tepfenhart
Part of the Textbooks in Mathematics series
Description
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions.
The second part focuses on logi
Information
-
Download - Immediately Available
- Format:PDF
- Pages:350 pages
- Publisher:Taylor & Francis Inc
- Publication Date:21/06/2019
- Category:
- ISBN:9781498775335
Information
-
Download - Immediately Available
- Format:PDF
- Pages:350 pages
- Publisher:Taylor & Francis Inc
- Publication Date:21/06/2019
- Category:
- ISBN:9781498775335