Specification of Software Systems by V S Alagar: New

Specification of Software Systems (Texts in Computer Science) by

Specification of Software Systems (Texts in Computer Science) by Alagar

Texts in Computer Science Ser.: Descriptive Complexity by Neil Immerman

Texts in Computer Science Ser.: Computer Vision by Szeliski

Specification of Software Systems (Texts in Computer Science)

Texts in Computer Science Ser.: Deduction Systems by Rolf Socher-Ambrosius ...

Texts in Computer Science Ser.: Specification of Software Systems by V. S. ...