Formal Methods in Computer Science

By Jiacun Wang

Book Overview

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

• Format: Paperback
• Language: English
• ISBN: 1498775322
• ISBN13: 9781498775328
• Release Date: July 2019
• Publisher: CRC Press
• Length: 294 Pages
• Weight: 1.00 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"