Formal techniques in real-time and fault-tolerant systems
Saved in:
Other Authors: | |
---|---|
Format: | Book |
Published: |
Boston
Kluwer Academic Publishers
1993
|
Series: | Kluwer international series in engineering and computer science
SECS 221 |
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000n a2200000 a 4501 | ||
---|---|---|---|
001 | wils-109743 | ||
005 | 20220517351 | ||
020 | # | # | |a 0792393325 |
090 | 0 | 0 | |a QA76.54 |b .F65 1993 |
245 | 1 | 1 | |a Formal techniques in real-time and fault-tolerant systems |c edited by Jan Vytopil |
260 | # | # | |a Boston |b Kluwer Academic Publishers |c 1993 |
300 | # | # | |a xi, 208 p. |b ill. |c 25 cm |
490 | 1 | # | |a Kluwer international series in engineering and computer science |v SECS 221 |
504 | # | # | |a Includes bibliographical references and index |
650 | # | 0 | |a Fault-tolerant computing |
650 | # | 0 | |a Real-time data processing |
700 | 1 | # | |a Vytopil, J. |c 1947- |q Jan |
745 | # | # | |a Real-time systems |
856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=109743 |
964 | # | # | |c BOK |d 01 |
040 | # | # | |a Shah Alam |
998 | # | # | |a 00260##a003.5.1||00260##b003.5.1||00260##c003.5.1||00300##a003.5.1||00300##b003.5.1||00300##c003.5.1|| |