Rekord MARC
      00866cz  a2200217n  4500
001     vtls000422617
003     NUKAT
005     20180924001541.0
008     931231n||a|nnnabbn          |a aaa    |c
010 $a n  93129668
024 7 $a http://viaf.org/viaf/91223528 $2 uri
024 7 $a http://isni.org/isni/0000000081637740 $2 uri
024 7 $a https://www.wikidata.org/wiki/Q92814 $2 uri
039 9 $a 201809240015 $b VLOAD $c 201809210505 $d VLOAD $c 201005060011 $d VLOAD $c 201005051606 $d fas $y 200205310843 $z load
040 $a KR 93/TS $c KR 93/AW
100 1 $a Manna, Zohar.
667 $a Dr filozofii (nauki ścisłe) ; prof. informatyki, Stanford Univ. i the Weizmann Inst. in Israel.
670 $a Kp. The temporal logic of reactive and concurrent systems. - New York, 1992.
670 $a LCC
999 $a VIRTUA50         x
999 $a VTLSSORT0010*0080*0100*0390*0400*1000*6670*6700*6701*9992
Katalog Nukat

Biblioteka Uniwersytecka w Warszawie
ul. Dobra 56/66
00-312 Warszawa

(+48) 22 55 25 351

(+48) 22 55 25 655

nukat@uw.edu.pl


Wersja 3.2.SP2 © Innovative Interfaces, Inc. © 2019 NUKAT. Wszelkie prawa zastrzeżone | Polityka cookies | Deklaracja dostępności