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
€212,19
Sale price
€212,19
Regular price
€218,75
Unit price/ per
Choosing a selection results in a full page refresh.
