001.64 / L497
LECTURE NOTES IN COMPUTER SCIENCE Vol. 891 : formal development of reactive systems: case study production cell
/ edited by Claus Lewerentz and Thomas Lindner
.- Berlin: Springer-Verlag, 1995
.- xi,394 .
.- ( Lecture Notes in computer science; Vol. 891
ISBN: 3540588671
Subject Headings:
Lecture notes;
COMPUTER SCIENCE;
Author Added Entry:
Lindner,Thomas, ed.;
Lewerentz, Claus, ed.;
Copy Details:
Acc. No.: A119317, Full Call No.: 001.64 L497, Item type: Lect. Notes Comp. Sc. (Avl.Online) , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------