Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings /

Guardado en:
Autor Corporativo: FTRTFT '98 Lyngby, Denmark)
Otros Autores: Ravn, Anders P., Rischel, Hans.
Formato: Libro
Idioma:English
Publicado: Berlin ; New York : Springer, c1998.
Series:Lecture notes in computer science, 1486
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
LEADER 01092pam a2200265 a 4500
001 DCC.dcic000352
008 980805s1998####ge#a#####b####001#0#eng##
005 20060627103415.0
245 1 0 |a Formal techniques in real-time and fault-tolerant systems :  |b 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings /  |c Anders P. Ravn, Hans Rischel (eds.). 
260 |a Berlin ;  |a New York :  |b Springer,  |c c1998. 
300 |a viii, 338 p. :  |b il. ;  |c 24 cm. 
440 0 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 1486 
500 |a "Fifth in a line of international schools and symposia"--Pref. 
504 |a Incluye referencias bibliográficas e índice. 
020 |a 3540650032 (softcover) 
111 2 |a FTRTFT '98  |d (1998 :  |c Lyngby, Denmark) 
700 1 |a Ravn, Anders P. 
700 1 |a Rischel, Hans. 
082 0 0 |a 004/.33  |2 21 
650 0 |a Real-time data processing  |x Congresses. 
650 0 |a Fault-tolerant computing  |x Congresses. 
010 |a  98040041  
040 |a DLC  |c DLC  |d DLC 
050 0 0 |a QA76.54  |b .F75 1998 
859 |a DCIC  |b BIB. COMPUTACION  |p 1333