00540     2200193   4500001002100000005001500021035002000036007000300056008003900059020002200098100002700120245003700147700002800184600002200212264003000234336002100264337002300285338003800308INLIS00000000000594320201016102842  a0010-1020000180ta201016                |          | |    a978-3-540-68635-40 aFred KrogerePengarang1 aTemporal Logic and State Systems0 aStephan MerzePengarang 4alogic programming  aBerlin :bSpringer,c2008  2rdacontentaTeks  2rdamediaaKomputer  2rdacarrieraSumber sambung jaring