ISBN-13: 9780367225704
Hardcover
294 Pages
Formal Methods in Computer Science
by Jiacun Wang
Rent This Book
Returns in 60 days
$143.00/ 60 days
Please Note: Rental books are typically used and do not come with any unused access code cards.
Free returns on all rentals
Product Details
ISBN-139780367225704
ISBN-100367225700
PublisherCRC Press
Published2019-06-25
Edition1
LanguageEnglish
FormatHardcover
Pages294
About This Book
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.