Normal view MARC view ISBD view

FORMAL development of reactive systems: case study production cell / edited by Claus Lewerentz, Thomas Lindner

Publisher: Berlin Springer-Verlag 1995Description: xi, 394 p.ISBN: 3540588671.Subject(s): Computer software- DevelopmentDDC classification: 670.427

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

average rating: 0.0 (0 votes)

Item type	Current location	Call number	Status	Date due	Barcode
Books in Stacks (S)	Main Library Science & Technology	670.427 FOR (Browse shelf)	Available		135694

Previous	No cover image available		No cover image available		No cover image available	No cover image available	No cover image available	Next
Previous	670.285 ZEI CAD/CAM theory and practice /	670.42 JOH Process control instrumentation technology	670.42 KAN Defect prevention : use of simple statistical tool /	670.427 FOR FORMAL development of reactive systems: case study production cell /	670.427 KOR Computer control of manufacturing systems	670.427 KOR Computer control of manufacturing systems	670.427 KOR Computer control of manufacturing systems	Next

There are no comments for this item.

UOJ Online