Algebraic Specifications in Software Engineering - 9783642750328

Springer - Models in Software Engineering - New paperback or softback - X555z

Albeverio - Stochastic Processes in Physics and Engineering - New pape - X555z

Aguade - Algebraic Topology Homotopy and Group Cohomology - New pape - X555z

Mauw - Algebraic Specification of Communication Protocols - New paperb - X555z

Schumann - Automated Theorem Proving in Software Engineering - New pap - X555z

Loveland - Automated Theorem Proving in Software Engineering - New har - X555z

Wohlin - Eximentation in Software Engineering An Introduction - New - X555z