TY  - GEN
AU  - B诲ger,E.
TI  - Specification and validation methods
SN  - 0198538545
U1  - 004.015,SPE 
PY  - 1995///
CY  - Oxford, New York
PB  - Clarendon, Oxford University Press
KW  - Programming languages (Electronic computers)
N1  - Introduction (Page -1), Part-1: Evolving Algebras (Page-7), Part-II: Programming Languages (Page-53), Part-III: Parallel and Distributed Programs (Page-165), Part-IV: Protocols (Page-245), Part-V: Architecture Design (Page-329)
UR  - http://www.loc.gov/catdir/enhancements/fy0640/95010608-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0640/95010608-t.html
ER  -