schliessen

Filtern

 

Bibliotheken

Deterministische Überwachung temporaler Formeln : [Mit engl. Zsfassung.] / Dasu Feng; Udo W. Lipeck

PPN (Catalogue-ID): 01373315X
Personen: Feng, Dasu
Lipeck, Udo W.
Format: Book Book
Published: Braunschweig, TU, 1987
Series: Informatikberichte. Technische Universität Braunschweig (87,06)
Formangabe: Bericht
Physical Description: 44 S

Similar Items

Vorhandene Hefte/Bände

more (+)

Informationen zur Verfügbarkeit werden geladen

Staff View
LEADER 01712cam a22004692 4500
001 01373315X
003 DE-627
005 20190211190317.0
007 tu
008 880413s1987 xx ||||| 00| ||und c
035 |a (DE-627)01373315X 
035 |a (DE-599)GBV01373315X 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
088 |a INFORMATIK BER 8706 
100 1 |a Feng, Dasu 
245 1 0 |a Deterministische Überwachung temporaler Formeln  |b [Mit engl. Zsfassung.]  |c Dasu Feng; Udo W. Lipeck 
264 1 |a Braunschweig  |b TU  |c 1987 
300 |a 44 S 
336 |a Text  |b txt  |2 rdacontent 
337 |a ohne Hilfsmittel zu benutzen  |b n  |2 rdamedia 
338 |a Band  |b nc  |2 rdacarrier 
490 1 |a Informatikberichte. Technische Universität Braunschweig  |v 87,06 
655 7 |a Bericht  |0 (DE-588)4128022-2  |0 (DE-627)104616091  |0 (DE-576)209598573  |2 gnd-content 
700 1 |a Lipeck, Udo W.  |4 aut 
830 0 |a Informatik-Berichte  |v 87,06  |9 198706  |w (DE-627)129725455  |w (DE-576)01091403X  |w (DE-600)261110-7 
912 |a GBV_ILN_22 
912 |a SYSFLAG_1 
912 |a GBV_KXP 
912 |a GBV_ILN_22_i22818 
912 |a GBV_ILN_40 
951 |a BO 
980 |2 22  |1 01  |b 224384503  |f 18/228  |d R16738  |e c  |x 0018  |y ni22818  |z 13-11-96 
980 |2 40  |1 01  |b 014399253  |f FMAG  |d ZB 62103:87,06  |e u  |x 0007  |y nsn  |z 16-05-88 
982 |2 40  |1 00  |8 00  |a ZfM : system behaviour 
982 |2 40  |1 00  |8 01  |a ZfM : integrity monitoring 
982 |2 40  |1 00  |8 02  |a ZfM : dynamic database integrity 
982 |2 40  |1 00  |8 03  |a ZfM : temporal logic 
982 |2 40  |1 00  |8 04  |a ZfM : deterministic transition graphs 
983 |2 40  |1 00  |8 00  |a AMS : 68H05 
984 |2 22  |1 01  |a 070349711  |x 00 
984 |2 40  |1 01  |a 7$10941182X  |x 00 
985 |2 22  |1 01  |a R16738