LEADER 01016nam a2200301 i 4500
001 991000901619707536
005 20020507175525.0
008 960520s1991    uk            ||| | eng  
020   $a0122183150
035   $ab10773277-39ule_inst
035   $aLE01304058$9ExL
040   $aDip.to Matematica$beng
082 0 $a001.6425
084   $aAMS 68N05
084   $aAMS 68N25
100 1 $aDix, Alan John$0459959
245 10$aFormal methods for interactive systems /$cAlan John Dix
260   $aLondon :$bAcademic Press,$cc1991
300   $a369 p. ;$c24 cm.
490 0 $aComputers and people series
650  4$aMonitors and operating systems
650  4$aProgramming
907   $a.b10773277$b23-02-17$c28-06-02
912   $a991000901619707536
945   $aLE013 68N DIX11 (1991)$g1$i2013000051468$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10871883$z28-06-02
996   $aFormal methods for interactive systems$9177114
997   $aUNISALENTO
998   $ale013$b01-01-96$cm$da  $e-$feng$guk $h0$i1

LEADER 01322nas  2200445 c 450 
001 9910894740803321
005 20250513221249.0
035   $a(CKB)3790000000120650
035   $a(DE-599)ZDB2622997-3
035   $a(OCoLC)746842330
035   $a(OCoLC)750811357
035   $a(DE-101)1014252792
035   $a(EXLCZ)993790000000120650
100   $a20110811a20049999  |y         |
101 0 $ager
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aStatistischer Bericht / Thüringer Landesamt für Statistik$hL$hV$iJahresabschlüsse öffentlich bestimmter Fonds, Einrichtungen und Unternehmen in Thüringen
210 31$aErfurt$cTLS$dOktober 2004-
215   $aOnline-Ressource
225 0 $aZahlen, Daten, Fakten
300   $aBestell-Nr. 11501
300   $aFortsetzung der Druck-Ausgabe
300   $aGesehen am 16. Juni 2017
517   $aStatistischer Bericht / L 5
517 1 $aStatistischer Bericht / L / 5
608   $aZeitschrift$2gnd-content
608   $aStatistik$2gnd-content
676   $a330
676   $a380
676   $a310
801  0$b0027
801  1$bDE-101
801  2$b9999
906   $aJOURNAL
912   $a9910894740803321
996   $aStatistischer Bericht$94217603
997   $aUNINA