DETALII
Citeste mai mult
Descriere RO
This revised and expanded second edition incorporates recent advances in formal methods and program verification, integrating new techniques, tools, and exercises to equip readers with the skills necessary for rigorous software development.
EdituraSpringer London Ltd
Dimensiuni235 x 155
Data Publicarii24/01/2026
FormatNecartonata
Numar pagini342
Aceasta este o carte in limba engleza. Descrierea cartii (tradusa din engleza cu Google Translate) este in limba romana din motive legale.