Formal Methods in Computer Science
Autor:
Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA), Tepfenhart, William (Monmouth University, West Long Branch, New Jersey, USA)
Disponibilitate:
În depozitul extern
Expediem în 10-18 zile
595.33
lei
Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and...