Temporal logic in specification :

Tytuł pełny:: Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.)
Współtwórcy:: Banieqbal, Behnam (1960- ). Redaktor
Barringer, Howard (1951- ). Redaktor
Pnueli, Amir. Redaktor
Wydawca:: Berlin : Springer
Rok wydania:: 1989
Seria:: Lecture Notes in Computer Science ; 398
Zawartość serii:: Lecture Notes in Computer Science 0302-9743 398
Opis fizyczny:: VI, 448 s. ; 24 cm
ISBN:: 3540518037
0387518037
Uwagi:: Dostępne również w formie elektronicznej
Temat:: Logika symboliczna i matematyczna - konferencje.
Projektowanie systemów - konferencje.
: Książka

LDR			01935cam#a2200421#i#4500
001			0042100139287
003			KAT U, KAT 001
005			20220829225148.9
008			990209s1989####gw#####\|#####\|10\|#\|\|eng\|c
020			%a 3540518037 %q (Berlin
020			%a 0387518037 %q (New York
035			%a xx001643540
035			%a (NUKAT)vtls001643540
040			%a NUKAT %c WA U/MK %d TOR U/WS
245	0	0	%a Temporal logic in specification : %b Altrincham, UK, April 8-10, 1987 : proceedings / %c B. Banieqbal, H. Barringer, A. Pnueli (eds.).
260	#		%a Berlin : %b Springer, %c 1989.
300			%a VI, 448 s. ; %c 24 cm.
336			%a Tekst %b txt %2 rdacontent
337			%a Bez urządzenia pośredniczącego %b n %2 rdamedia
338			%a Wolumin %b nc %2 rdacarrier
490	1		%a Lecture Notes in Computer Science ; %v 398
530			%a Dostępne również w formie elektronicznej.
650		#	%a Logika symboliczna i matematyczna %v konferencje.
650		#	%a Projektowanie systemów %v konferencje.
700	1	#	%a Banieqbal, Behnam %d (1960- ). %e Redaktor
700	1	#	%a Barringer, Howard %d (1951- ). %e Redaktor
700	1	#	%a Pnueli, Amir. %e Redaktor
830		0	%a Lecture Notes in Computer Science %x 0302-9743 %v 398
856	4	1	%u https://www.infona.pl/resource/isbn/9783540518037
856	4	#	%u https://integro.ciniba.edu.pl/integro/site/recorddetail/0042100139287 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
920			%a 3-540-51803-7 %q (Berlin
920			%a 0-387-51803-7 %q (New York
982			%a 004 %c TEMPORAL LOGIC %d BANIEQBAL, B. %z Informatyka i technika komputerowa

Informacja

Anonimowy użytkownik nie może zamawiać i rezerwować dokumentów!

Wyświetl egzemplarze z wybranej biblioteki :

Dostępny