Tools

LEADER 01359cam 2200361 a 4500

001 ocm31740407;

003 OCoLC;

005 20141212120328.0;

008 941207s1995 gw a b 000 0 eng ;

010 a| 94044675;

020 a| 3540588671 (Berlin : acid-free paper);

020 a| 0387588671 (New York : acid-free paper);

035 a| (Sirsi) o31740407;

035 a| (OCoLC)31740407;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.76.D47b| F65 1995;

082 00 a| 670.42/72| 20;

245 00 a| Formal development of reactive systems :b| case study production cell /c| Claus Lewerentz, Thomas Lindner, eds.;

300 a| xi, 394 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 891;

504 a| Includes bibliographical references.;

650 0 a| Computer softwarex| Development.=| ^A210127;

700 1 a| Lewerentz, Claus.=| ^A366545;

700 1 a| Lindner, Thomas,d| 1966-=| ^A368619;

830 0 a| Lecture notes in computer sciencev| 891.=| ^A466336;

596 a| 1;

998 a| 582908;

999 a| QA76.76.D47 F65 1995w| LCc| 1i| 30372009143741d| 2/20/2013f| 2/20/2013g| 2l| JGESm| JOYNERp| $58.90r| Ys| Yt| JGESBKu| 8/22/1995x| BOOKz| JSTACKSo| .STAFF. 0;

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

Other author	Lewerentz, Claus.
Other author	Lindner, Thomas, 1966-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1995.
Description	xi, 394 pages : illustrations ; 24 cm.
Subjects	Computer software--Development.

Series	Lecture notes in computer science ; 891 Lecture notes in computer science 891. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	94044675
ISBN	3540588671 (Berlin : acid-free paper)
ISBN	0387588671 (New York : acid-free paper)

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

Click here for more information about this title