HOME > Detail View

Detail View

Formal methods for real-time computing

Formal methods for real-time computing (Loan 7 times)

Material type
단행본
Personal Author
Heitmeyer, Constance. Mandrioli, Dino.
Title Statement
Formal methods for real-time computing / edited by Constance Heitmeyer and Dino Mandrioli.
Publication, Distribution, etc
Chichester ;   New York :   John Wiley,   c1996.  
Physical Medium
xvii, 271 p. : ill. ; 24 cm.
Series Statement
Trends in software ;5.
ISBN
0471958352 (acid-free paper)
Bibliography, Etc. Note
Includes bibliographical references and index.
Subject Added Entry-Topical Term
Real-time data processing.
비통제주제어
Software, Engineering,,
000 00941camuuu200301 a 4500
001 000000568112
003 OCoLC
005 19980901145619.0
008 960311s1996 enka b 001 0 eng
010 ▼a 96005720
015 ▼a GB96-35539
019 ▼a 34730365
020 ▼a 0471958352 (acid-free paper)
040 ▼a DLC ▼c DLC ▼d UKM
049 ▼l 121031157 ▼f 과학 ▼l 121035134 ▼f 과학
050 0 0 ▼a QA76.54 ▼b .F64 1996
082 0 0 ▼a 005.2 ▼2 20
090 ▼a 005.2 ▼b F723
245 0 0 ▼a Formal methods for real-time computing / ▼c edited by Constance Heitmeyer and Dino Mandrioli.
260 ▼a Chichester ; ▼a New York : ▼b John Wiley, ▼c c1996.
300 ▼a xvii, 271 p. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a Trends in software ; ▼v 5.
504 ▼a Includes bibliographical references and index.
650 0 ▼a Real-time data processing.
653 0 ▼a Software ▼a Engineering
700 1 ▼a Heitmeyer, Constance.
700 1 ▼a Mandrioli, Dino.

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.2 F723 Accession No. 121031157 (2회 대출) Availability Available Due Date Make a Reservation Service B M
No. 2 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.2 F723 Accession No. 121035134 (1회 대출) Availability Available Due Date Make a Reservation Service B M
No. 3 Location Sejong Academic Information Center/Science & Technology/ Call Number 004.33 F7232 Accession No. 151033100 (4회 대출) Availability Available Due Date Make a Reservation Service B M ?
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.2 F723 Accession No. 121031157 (2회 대출) Availability Available Due Date Make a Reservation Service B M
No. 2 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.2 F723 Accession No. 121035134 (1회 대출) Availability Available Due Date Make a Reservation Service B M
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Sejong Academic Information Center/Science & Technology/ Call Number 004.33 F7232 Accession No. 151033100 (4회 대출) Availability Available Due Date Make a Reservation Service B M ?

New Arrivals Books in Related Fields

Harvard Business Review (2025)