Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / edited by Chris W. George, Zhiming Liu, Jim Woodcock.

Contributor(s):

Material type: Text

TextSeries: Lecture Notes in Computer Science ; 4710Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Description: XI, 240 p. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783540749646

Subject(s):

Additional physical formats: Printed edition:: No titleDDC classification:

005.1015113 23

LOC classification:

QA76.9.L63
QA76.5913
QA76.63

Online resources:

Click here to access online

Contents:

Delivering Real-Time Behaviour -- Applicative Modelling with RAISE -- A Theory of Duration Calculus with Application -- Understanding Programming Language Concepts Via Operational Semantics.

In: Springer eBooks

Item type:

E-BOOKS

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

Average rating: 0.0 (0 votes)

Holdings
Home library	Call number	Materials specified	URL	Status	Date due	Barcode
IMSc Library			Link to resource	Available		EBK7820

Delivering Real-Time Behaviour -- Applicative Modelling with RAISE -- A Theory of Duration Calculus with Application -- Understanding Programming Language Concepts Via Operational Semantics.

There are no comments on this title.

to post a comment.

Place hold
Print
Send to device
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)