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
Formal Methods Teaching
Language: en
Pages: 159
Authors: João F. Ferreira
Categories: Mathematics
Type: BOOK - Published: 2021-11-23 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Meth
Fundamental Proof Methods in Computer Science
Language: en
Pages: 1223
Authors: Konstantine Arkoudas
Categories: Computers
Type: BOOK - Published: 2017-04-28 - Publisher: MIT Press

GET EBOOK

A textbook that teaches students to read and write proofs using Athena. Proof is the primary vehicle for knowledge generation in mathematics. In computer scienc
Formal Methods in Human-Computer Interaction
Language: en
Pages: 352
Authors: Michael Harrison
Categories: Computers
Type: BOOK - Published: 1990-02-22 - Publisher: CUP Archive

GET EBOOK

Discusses the application of formal methods - the attempt to provide methods that rigorously and unambiguously describe the behavior of a computer program or sy