Formal Methods in Computer Science

Formal Methods in Computer Science
Author :
Publisher : CRC Press
Total Pages : 241
Release :
ISBN-10 : 9781498775359
ISBN-13 : 1498775357
Rating : 4/5 (357 Downloads)

Book Synopsis Formal Methods in Computer Science by : Jiacun Wang

Download or read book Formal Methods in Computer Science written by Jiacun Wang and published by CRC Press. This book was released on 2019-06-21 with total page 241 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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


Formal Methods in Computer Science Related Books

Formal Methods in Computer Science
Language: en
Pages: 241
Authors: Jiacun Wang
Categories: Computers
Type: BOOK - Published: 2019-06-21 - Publisher: CRC Press

GET EBOOK

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It ha
Formal Methods in Computer Science
Language: en
Pages: 294
Authors: Jiacun Wang
Categories: Formal methods (Computer science)
Type: BOOK - Published: 2019-06-21 - Publisher: Chapman & Hall/CRC

GET EBOOK

The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part
Understanding Formal Methods
Language: en
Pages: 288
Authors: Jean-Francois Monin
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, givin
Concise Guide to Formal Methods
Language: en
Pages: 322
Authors: Gerard O'Regan
Categories: Mathematics
Type: BOOK - Published: 2017-08-08 - Publisher: Springer

GET EBOOK

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods ac
Formal Methods in Artificial Intelligence
Language: en
Pages: 300
Authors: Allan Ramsay
Categories: Computers
Type: BOOK - Published: 1988 - Publisher: CUP Archive

GET EBOOK

This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.