schliessen

Filtern

 

Bibliotheken

On first order temporal logics with changing domains for informations system specification / G. Saake

PPN (Catalogue-ID): 042077508
Personen: Saake, Gunter
Format: Book Book
Published: Braunschweig, Techn. Univ., 1989
Series: Informatik-Berichte (89-01)
Physical Description: II, 22 S

Similar Items

Vorhandene Hefte/Bände

more (+)

Informationen zur Verfügbarkeit werden geladen

Staff View
LEADER 01024cam a22003132 4500
001 042077508
003 DE-627
005 20180513170950.0
007 tu
008 950801s1989 xx ||||| 00| ||und c
035 |a (DE-627)042077508 
035 |a (DE-599)GBV042077508 
035 |a (OCoLC)830859469 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
100 1 |a Saake, Gunter 
245 1 0 |a On first order temporal logics with changing domains for informations system specification  |c G. Saake 
264 1 |a Braunschweig  |b Techn. Univ.  |c 1989 
300 |a II, 22 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 Informatik-Berichte  |v 89-01 
830 0 |a Informatik-Berichte  |v 89-01  |9 198901  |w (DE-627)129725455  |w (DE-576)01091403X  |w (DE-600)261110-7 
912 |a GBV_ILN_23 
912 |a SYSFLAG_1 
912 |a GBV_KXP 
951 |a BO 
980 |2 23  |1 01  |b 162389795  |f 32  |d 3205-9702  |e u  |x 0830  |y zu  |z 27-02-90 
984 |2 23  |1 01  |a 830$32059702  |x 00