Product Details
Seller Description
Clean and tight. No writing.
Tags
Overview
This book addresses Formal Methods (FMs) applicable to the specification, verification, implementation, and testing of complex distributed systems and communication protocols. The early, pioneering ph...
Read more
Be the first one to review
Review the book today!