01112 a2200241 4500 Nust 20220720100123.0 95010608 0198538545 Nust 004.015,SPE Specification and validation methods / edited by Egon Borger. Oxford : Clarendon ; New York : Oxford University Press, 1995. 460 p. : ill. ; 24 cm. International schools for computer scientists 93961 Oxford science publications 93962 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). Programming languages (Electronic computers) 3683 B诲ger, E. 1946- 93963 Publisher description http://www.loc.gov/catdir/enhancements/fy0640/95010608-d.html Table of contents only http://www.loc.gov/catdir/enhancements/fy0640/95010608-t.html REF ddc 174740 174740 0 0 ddc 0 0 MCS MCS REF 2016-12-12 004.015,SPE MCS31105 2016-12-08 2016-12-12 BK Almirah No.17, Shelf No.1