包邮软件工程系统与语言规约-(卷2)(影印版)

preface
partⅰ opening
　1 introduction
partⅱ specification facets
　2 hierarchies and compositions
　3 denotations and computations
　4 configurations:contexts and states
part ⅲ a crucial domain and computing facet
　5 time,space and space/time
part ⅳ linguistics
　6 pragmatics
　7 semantics
　8 syntax
　9 semiotics
part ⅴ further specification techniques
　10 modularisation
　11 automata and machines
part ⅵ concurrency and temporality
　12 petri nets
　13 message and sequence charts
　14 statecharts
　15 quantitative models of time
part ⅶ interpreter and compiler definitions
　16 sal:simple applicative language
　17 sil:simple imperative language
　18 smil:simple modular,imperative language
　19 spil:simple paallel,imperative language
part ⅷ closing
　20 closing
part ⅸ appendixes
　a naming convention
　b indexes
references