Cover of Jiacun Wang: Formal Methods in Computer Science

Jiacun Wang Formal Methods in Computer Science

Price for Eshop: 2513 Kč (€ 100.5)

VAT 0% included

New

E-book delivered electronically online

E-Book information

CRC Press

2019

PDF
How do I buy e-book?

350

978-1-4987-7533-5

1-4987-7533-0

Annotation

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

Ask question

You can ask us about this book and we'll send an answer to your e-mail.