Proceeding of Stepwise refinement of distributed systems:models formalisms , correctness by Bakker J W De Ed.; Roever W P De Ed.; Rozenberg G Ed.

By:

Contributor(s):

Material type: Text

TextLanguage: English Series: Lecture notes in computer science; 430Publication details: Berlin Springer-Verlag 1989Description: 808p. cmSubject(s):

DDC classification:

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	Home library	Call number	Vol info	Status	Barcode
Textual	Central Science Library	Central Science Library	D65,8(B)92 M9 (Browse shelf(Opens below))	2	Available	SL1024395

Previous	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	Next
Previous	D65,8(B)92 M8;2 File structures: An analytic approach	D65,8(B)92 M9 Synthesizing synchronous systems by static scheduling in space-time	D65,8(B)92 M9 Linear time, branching time and partial order in logics and models for concurrency	D65,8(B)92 M9 Proceeding of Stepwise refinement of distributed systems:models formalisms , correctness	D65,8(B)92 M9 Parallel processing for computer vision and display	D65,8(B)92 M9 Software engineering	D65,8(B)92 M9 Highly parallel computing	Next

There are no comments on this title.

to post a comment.