Théorie des programmes  : schémas, preuves, sémantique

Tytuł pełny:: Théorie des programmes : schémas, preuves, sémantique / par C. Livercy ; nom coll. de: Jean-Pierre Finance [et al.] ; préface C. Pair
Autorzy:: Livercy, C
Finance, Jean-Pierre
Współtwórcy:: Pair, Claude (1934- ). Przedm.
Dunod (Paryż). Wydawca
Wydawca:: Paris : Dunod
Rok wydania:: 1978
Seria:: Dunod Informatique. Phase Formation
Zawartość serii:: Dunod Informatique. Phase Formation 0154-5450
Opis fizyczny:: XII, 328 s. : il. ; 24 cm
ISBN:: 2040105166
Uwagi:: Indeks
Temat:: Informatyka.
: Książka

LDR			01424cam#a2200349#i#4500
001			0192303529859
003			KAT U, KAT 001
005			20200623064706.0
008			120511s1978####fr#a###g#####\|001#0#fre#c
020			%a 2040105166
035			%a xx002487146
035			%a (NUKAT)vtls002487146
035			%a (OCoLC)805089400
040			%a KAT U/AM %c KAT U/AMmok %d KAT U/AM
100	1		%a Livercy, C.
245	1	0	%a Théorie des programmes : %b schémas, preuves, sémantique / %c par C. Livercy ; nom coll. de: Jean-Pierre Finance [et al.] ; préface C. Pair.
260	#		%a Paris : %b Dunod, %c 1978.
300			%a XII, 328 s. : %b il. ; %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 Dunod Informatique. Phase Formation
504			%a Indeks.
650		#	%a Informatyka.
700	1	#	%a Finance, Jean-Pierre.
700	1	#	%a Pair, Claude %d (1934- ). %e Przedm.
710	2	#	%a Dunod (Paryż). %4 pbl
830		0	%a Dunod Informatique. %p Phase Formation %x 0154-5450
856	4	#	%u https://integro.ciniba.edu.pl/integro/site/recorddetail/0192303529859 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
920			%a 2-04-010516-6

Informacja

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

Wyświetl egzemplarze z wybranej biblioteki :

Dostępny