Author Statement

Donald Sannella

Collation

581 P.

Addition

,

Title

Foundations of Algebraic specification and Formal software Development

LC Class

511

LC Number

. 3

LC CutterNumber

S 228 F

Publication Year

2011

Publication

Springer,

Subject

Algebraic logic

DocumentNumber

682

ISBNN

9783642173356 (hard cover : alk. paper) ,

RecordNumber

11438