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
Preço normal
€98,20
Preço de saldo
€98,20
Preço normal
€101,24
Preço unitário/ por
Escolher uma seleção resulta numa atualização de página completa.
