Detail Katalog

ID: 16319

THE TEMPORAL LOGIC OF REACTIVE AND CONCURRENT SYSTEMS : Specification / Zohar Manna & Amir Pnueli

Edisi: cet. 1

Pengarang:
Zohar Manna ; Amir Pnueli

Penerbit:
Springer-Verlag New York, Inc.,

Tempat Terbit:
New York :

Tahun Terbit:
1991

Bahasa:
ind

PEMROGRAMAN

Deskripsi Fisik:
xiv, 427hlm : ilustrasi ; 24 cm

ISBN:
0-387-97664-7

Nomor Panggil:
005.1 ZOH t

Control Number:
INLIS000000001259750

BIB ID:
0010-1123001844

Tersedia di OPAC Bibliografi Nasional Indonesia Karya Tulis Ilmiah Nasional

Lihat Cover Original

Nomor Barcode	Nomor Panggil	Akses	Lokasi	Ketersediaan
`23.08522`	`005.1 ZOH t`	Dapat dipinjam	Ruang Baca Umum	Tersedia

Format MARC21 - Total 15 field

Tag	Ind1	Ind2	Nilai	Urutan
001	`_`	`_`	INLIS000000001259750	1
005	`_`	`_`	20231130100714	2
035	`#`	`#`	$a 0010-1123001844	3
007	`_`	`_`	ta	4
008	`_`	`_`	231130################g##########0#ind##	5
020	`#`	`#`	$a 0-387-97664-7	6
082	`#`	`#`	$a 005.1	7
084	`#`	`#`	$a 005.1 ZOH t	8
100	`_`	`#`	$a Zohar Manna	9
245	`1`	`#`	$a THE TEMPORAL LOGIC OF REACTIVE AND CONCURRENT SYSTEMS : $b Specification /$c Zohar Manna & Amir Pnueli	10
250	`#`	`#`	$a cet. 1	11
260	`#`	`#`	$a New York :$b Springer-Verlag New York, Inc.,$c 1991	12
300	`#`	`#`	$a xiv, 427hlm : $b ilustrasi ; $c 24 cm	13
650	`#`	`4`	$a PEMROGRAMAN	14
700	`_`	`#`	$a Amir Pnueli	15

Ditambahkan: 30 Nov 2023