TRA CỨU
Các bộ sưu tập
Skip Navigation Links.
Thư mục - Vốn tư liệu
An introduction to formal specification and Z

An introduction to formal specification and Z

 Potter, Ben.
 Prentice Hall, 1996 ISBN: 0132422077 (pbk.)
 2nd ed. London : xiv, 434 p. : ill. ; 24 cm. English
Z (Computer program language)Computer softwareNgôn ngữ chương trình máy tínhPhần mềm máy tính
Mô tả biểu ghi
ID:41839
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
MARC
Hiển thị đầy đủ trường & trường con
TagGiá trị
00000000nam a2200000 a 4500
00141839
0021
00452434
005202110061501
008161004s1996 enk eng
0091 0
020[ ] |a 0132422077 (pbk.)
035[ ] |a 34545017
035[# #] |a 34545017
039[ ] |a 20241208235228 |b idtocn |c 20211006150126 |d anhpt |y 20161004160543 |z thuvt
041[ 0] |a eng
044[ ] |a enk
082[0 4] |a 005.12 |2 20 |b POR
090[ ] |a 005.12 |b POR
100[1 ] |a Potter, Ben.
245[1 3] |a An introduction to formal specification and Z / |c Ben Potter, Jane Sinclair, David Till.
250[ ] |a 2nd ed.
260[ ] |a London : |b Prentice Hall, |c 1996
300[ ] |a xiv, 434 p. : |b ill. ; |c 24 cm.
440[ 0] |a Prentice-Hall international series in computer science
504[ ] |a Includes bibliographical references (p. 414-418) and index.
650[0 0] |a Z (Computer program language)
650[0 0] |a Computer software |x Development
653[0 ] |a Ngôn ngữ chương trình máy tính
653[0 ] |a Phần mềm máy tính
700[1 ] |a Sinclair, Jane.
700[1 ] |a Till, David, |d 1942-.
852[ ] |a 100 |b TK_Tiếng Anh-AN |j (1): 000090261
890[ ] |a 1 |b 1 |c 0 |d 0
Dòng Mã vạch Bản sao Nơi lưu Tình trạng Cho phép yêu cầu
1 000090261 1 TK_Tiếng Anh-AN
#1 000090261
Nơi lưu TK_Tiếng Anh-AN
Tình trạng