Formal techniques in real-time and fault-tolerant systems

Saved in:
Bibliographic Details
Other Authors: Vytopil, J. 1947- Jan
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||