Formal development of reactive systems : case study production cell / Claus Lewerentz, Thomas Lindner, eds. (Lecture notes in computer science)

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

(Lecture notes in computer science)

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 3540588671
Title: Formal development of reactive systems : case study production cell / Claus Lewerentz, Thomas Lindner, eds.
Series Title: Lecture notes in computer science
Author Heading: Lewerentz, Claus.
Lindner, Thomas, 1966-
Publication, Distribution, etc.: Berlin : Springer-Verlag
Tokyo : Springer-Verlag
Publication Date: c1995.
Publication Date (W3CDTF): 1995
Extent: xi, 394 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: プログラミング (電子計算機) Puroguramingu (densikeisanki)
Computer software -- Development.
LCC: QA76.76.D47
DDC: 670.42/7
NDLC: M159
Note (Bibliography): Includes bibliographical references.
Holding library: 国立国会図書館
Call No.: M159-A159
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003234176
http://id.ndl.go.jp/bib/000003234176
LC Control Number: 94044675
https://lccn.loc.gov/94044675
Bibliographic Record Category (NDL): 211