TY  - BOOK
AU  - Bjorner, D.
TI  - Software Engineering Vol. 2: Specification of Systems and Languages
SN  - 9788181287854
U1  - 005.1 
PY  - 2006///
CY  - New Delhi
PB  - Springer (India) Pvt. Ltd.
KW  - Computer Engineering
N1  - Part - 1: Opening Introduction Part - 2: Specification Facets Denotations and Computations Configurations: Contexts and States Part - 3: A Crucial Domain and Computing Facet Time, Space and Space/Time Part - 4: Linguistics Pragmatics Semantics Syntax Part - 5: Further Specification Techniques Modularisation Automata and Machines Part - 6: Concurrency and Temporality Message and Live Sequence Charts Statecharts Quantitative Modules of Time Part- 7: Interpreter and Compiler Definitions SAL: Simple Applicative Language SIL: Simple, Imperative Language SMIL: Simple Modular, Imperative Language SPIL: Simple, Parallel, Imperative Language Part - 8: Closing Appendixes - A:  Naming Convention
ER  -