Specification and compositional verification of real-time systems / J. Hooman.

• Material Type: 図書
• ISBN: 0387549471 (New York); 3540549471 (Berlin)
• Title: Specification and compositional verification of real-time systems / J. Hooman.
• Series Title: Lecture notes in computer science
• Author Heading: Hooman, J. (Jozef) , 1955-
• Publication, Distribution, etc.: Berlin : Springer; Tokyo : Springer
• Publication Date: c1991.
• Publication Date (W3CDTF): 1991
• Extent: viii, 235 p. ; 25 cm.
• Place of Publication (Country Code): DE
• Text Language Code: eng
• Subject Heading: プログラミング (電子計算機) Puroguramingu (densikeisanki); データ処理 (主題区分) Detasyori.; Real-time data processing.
• LCC: QA76.54
• DDC: 004/.33
• NDLC: M159
• Note (General): Rev. version of the author's thesis (Ph. D.) --Eindhoven University of Technology.
• Note (Bibliography): Includes bibliographical references (p. [229]-235) .
• Holding library: 国立国会図書館
• Call No.: M159-A121
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003203225; http://id.ndl.go.jp/bib/000003203225
• LC Control Number: 91041783; https://lccn.loc.gov/91041783
• Bibliographic Record Category (NDL): 211

Table of Contents

Contents

1　Introduction/ 1

1．1　Programming Language/ 1

1．2　Specifications/ 3

1．3　Verification/ 7