Formal Methods in Computer Science

Printed Book
Sold as: EACH
SR 130 Per Month /4 months
Author: Wang, Jiacun
Date of Publication: 2019
Book classification: Computer & Technology, English Books,
No. of pages: 314 Pages
Format: Paperback

This book is printed on demand and is non-refundable after purchase

    Or

    About this Product

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

    Show more

    Customer Reviews