Hardback
Add to list Added to list Formal Methods for Software Engineering: Languages, Methods, Application Domains
Markus Roggenbach,Antonio Cerone,Bernd-Holger Schlingloff,Gerardo Schneider,Siraj Ahmed Shaikh
This is a graduate-level introduction to formal methods. The first part presents two formal languages: logic, in various forms, and Communicating Sequential Process (CSP) as a process algebra. Building on…
Available to order, ships in 7-14 daysAvailable to order
