ISBN-13: 9780367225704 / Angielski / Twarda / 2019 / 294 str.
ISBN-13: 9780367225704 / Angielski / Twarda / 2019 / 294 str.
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.