This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
Formal Methods in Computer Science
Regular price
€98,20
Sale price
€98,20
Regular price
€101,24
Unit price/ per
Choosing a selection results in a full page refresh.