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