Formal Methods and Software Engineering
Kung-Kiu Lau, Richard Banach
Formal Methods and Software Engineering - 2005
978-3-540-32250-4
Logics and Meanings of Programs
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Computer Science
Formal Methods and Software Engineering - 2005
978-3-540-32250-4
Logics and Meanings of Programs
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Computer Science