Home / Search / Formal Methods in Computer Science
ISBN-13 · 9780367225704ISBN-10 · 0367225700Publisher · CRC PressFormat · Hardcover, 294 pagesPublished · 2019Language · English
Formal Methods in Computer Science
Rent this book
Free return shipping includedTotal rental price$143.00
Please Note: Rental books are typically used and do not come with any unused access code cards.
Return by 2026-10-26. Prepaid return label included; extend at any point for the difference in price.
Buy from a seller
Bookface-OutletShips from CA
GoodTypical used book with minor wear and signs of use. May have some highlighting or writing.
318.60
About this book
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.