FORMAL METHODS IN COMPUTER SCIENCE
5,600.00₹ 7,531.00₹
- Author: JAICUN WANG
- ISBN: 9781498775328
- Availability: In Stock
Buy FORMAL METHODS IN COMPUTER SCIENCE | Technical Books, science books
ABOUT THE BOOK
Formal Methods in Computer Science gives students a comprehensive
introduction to formal methods and their application in software and hardware
specification and verification.
The first part introduces some
fundamentals in formal methods, including set theory, functions, finite state
machines, and regular expressions. The second part focuses on logic, a powerful
formal language in specifying systems properties. It covers propositional
logic, predicate logic, temporal logic, and model checking. The third part
presents Petri nets, the most popular formal language in system behavior
modeling. In additional to regular Petri nets, this part also examines timed Petri
nets and high-level Petri nets.
The textbook is ideal for
undergraduate or graduate courses in computer engineering, software
engineering, computer science, and information technology programs. Parts of
the book are useful reading material in undergraduate computer course and as a
reference guide for students researching the area of formal system
specification and validation.
Set Theory and Functions
Basic Set Definitions
Set Theory and Functions
Finite State Machine
Regular Expressions and Languages
Propositional Logic
Predicate Logic
Temporal Logic
Formal Verification by Model Checking
Petri Nets
Timed Petri Nets
Colored Petri Nets