Formal development of reactive systems : case study production cell Claus Lewerentz, Thomas Lindner, eds

By:

Contributor(s):

Publication details: Berlin Springer-Verlag c1995Description: xi, 394 p. : ill. ; 24 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	670.427 LIN (Browse shelf(Opens below))	Available		304379

Includes bibliographical references

There are no comments on this title.

to post a comment.

Find us on the map