Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004 : Bertinoro, Italy, September 13-18, 2004 : revised lectures. : Sep 2004, Bertinoro, Italy. (Lecture Notes in Computer Science ; 3185. Tutorial)

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004 : Bertinoro, Italy, September 13-18, 2004 : revised lectures. : Sep 2004, Bertinoro, Italy.

(Lecture Notes in Computer Science ; 3185. Tutorial)

Call No. (NDL): M17-04-3745
Bibliographic ID of National Diet Library: 000007551397

Material type: 図書

Author: Bernardo, Marco.ほか

Publisher: Springer

Publication date: c2004.

Material Format: Paper

Capacity, size, etc.: vi, 293 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Revised papers."This volume collects a set of papers accompanying the lectures of the fourth edition of the International School on Formal Methods for...

Search by Bookstore

Bibliographic Record

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

Paper

Material Type: 図書
ISBN: 3540230688
ISSN (series): 0302-9743
Title: Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004 : Bertinoro, Italy, September 13-18, 2004 : revised lectures. : Sep 2004, Bertinoro, Italy.
Series Title: Lecture Notes in Computer Science ; 3185. Tutorial
Author Heading: Bernardo, Marco.
Corradini, Flavio.
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (4th : 2004: Bertinoro, Italy)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2004.
Publication Date (W3CDTF): 2004
Extent: vi, 293 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Real-time control -- Congresses.
Real-time programming -- Congresses.
Real-time data processing -- Congresses.
Computer systems -- Congresses.
Communication systems -- Congresses.
Software -- Congresses.
LCC: QA76.54
NDLC: M17
Note (General): Revised papers.
"This volume collects a set of papers accompanying the lectures of the fourth edition of the International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM) ." -- preface.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-04-3745
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007551397
http://id.ndl.go.jp/bib/000007551397
RLIN No.: CTYA6688465-B
Bibliographic Record Category (NDL): 215