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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------