Software Engineering Vol. 2: Specification of Systems and Languages

By:

Bjorner, D

Material type: Text

TextPublication details: New Delhi Springer (India) Pvt. Ltd. 2006Description: 777pISBN:

9788181287854

Subject(s):

Computer Engineering

DDC classification:

005.1 BJO

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Item location	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Book	NIMA Knowledge Centre	7th Floor Silence Zone	Reference	005.1 BJO (Browse shelf(Opens below))	Not For Loan		T0032842

Total holds: 0

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

There are no comments on this title.

to post a comment.