Thư Viện Đại học Hà Nội

TRA CỨU

DDC	005.12
Tác giả CN	Potter, Ben.
Nhan đề	An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.
Lần xuất bản	2nd ed.
Thông tin xuất bản	London : Prentice Hall, 1996
Mô tả vật lý	xiv, 434 p. : ill. ; 24 cm.
Tùng thư(bỏ)	Prentice-Hall international series in computer science
Thuật ngữ chủ đề	Z (Computer program language)
Thuật ngữ chủ đề	Computer software-Development
Từ khóa tự do	Ngôn ngữ chương trình máy tính
Từ khóa tự do	Phần mềm máy tính
Tác giả(bs) CN	Sinclair, Jane.
Tác giả(bs) CN	Till, David,
Địa chỉ	100TK_Tiếng Anh-AN(1): 000090261


000	00000nam a2200000 a 4500
001	41839
002	1
004	52434
005	202110061501
008	161004s1996 enk eng
009	1 0
020	\|a0132422077 (pbk.)
035	##\|a34545017
039	\|a20211006150126\|banhpt\|c20201104160533\|danhpt\|y20161004160543\|zthuvt
041	0\|aeng
044	\|aenk
082	04\|a005.12\|220\|bPOR
090	\|a005.12\|bPOR
100	1 \|aPotter, Ben.
245	13\|aAn introduction to formal specification and Z /\|cBen Potter, Jane Sinclair, David Till.
250	\|a2nd ed.
260	\|aLondon : \|bPrentice Hall,\|c1996
300	\|axiv, 434 p. :\|bill. ;\|c24 cm.
440	0\|aPrentice-Hall international series in computer science
504	\|aIncludes bibliographical references (p. 414-418) and index.
650	00\|aZ (Computer program language)
650	00\|aComputer software\|xDevelopment
653	0\|aNgôn ngữ chương trình máy tính
653	0\|aPhần mềm máy tính
700	1 \|aSinclair, Jane.
700	1 \|aTill, David,\|d1942-.
852	\|a100\|bTK_Tiếng Anh-AN\|j(1): 000090261
890	\|a1\|b1\|c0\|d0

Dòng	Mã vạch	Vị trí	Giá sách	Ký hiệu PL/XG	Phân loại	Bản sao	Tình trạng	Thành phần
1	000090261	TK_Tiếng Anh-AN		005.12 POR	Sách	1	Tài liệu chỉ đọc tại Thư viện

ZALO