=LDR  00000nam  2200000   4500
=001  INLIS000000001259750
=005  20231130100714
=035  ##$$a 0010-1123001844
=007  ta
=008  231130################g##########0#ind##
=020  ##$$a 0-387-97664-7
=082  ##$$a 005.1
=084  ##$$a 005.1 ZOH t
=100   #$$a Zohar Manna
=245  1#$$a THE TEMPORAL LOGIC OF REACTIVE AND CONCURRENT SYSTEMS : $b Specification /$c Zohar Manna & Amir Pnueli
=250  ##$$a cet. 1
=260  ##$$a New York :$b Springer-Verlag New York, Inc.,$c 1991
=300  ##$$a xiv, 427hlm : $b ilustrasi ; $c 24 cm
=650  #4$$a PEMROGRAMAN
=700   #$$a Amir Pnueli