Formal Methods in Computer Science

Formal Methods in Computer Science
Author :
Publisher : CRC Press
Total Pages : 279
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 279 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: 279
Authors: Jiacun Wang
Categories: Computers
Type: BOOK - Published: 2019-06-21 - Publisher: CRC Press

DOWNLOAD 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 for Software Engineering
Language: en
Pages: 538
Authors: Markus Roggenbach
Categories: Computers
Type: BOOK - Published: 2022-06-22 - Publisher: Springer Nature

DOWNLOAD EBOOK

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo
Understanding Formal Methods
Language: en
Pages: 288
Authors: Jean-Francois Monin
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD 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
Formal Methods
Language: en
Pages: 170
Authors: Flemming Nielson
Categories: Computers
Type: BOOK - Published: 2019-07-16 - Publisher: Springer

DOWNLOAD EBOOK

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verificati
Formal Methods for Discrete-Time Dynamical Systems
Language: en
Pages: 291
Authors: Calin Belta
Categories: Technology & Engineering
Type: BOOK - Published: 2017-03-08 - Publisher: Springer

DOWNLOAD EBOOK

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also