國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Software abstractions :logic, langua...

~

Jackson, Daniel.

Software abstractions :logic, language and analysis /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Software abstractions :Daniel Jackson.
其他題名:	logic, language and analysis /
作者:	Jackson, Daniel.
出版者:	Cambridge, Mass. :MIT Press,c2006.
面頁冊數:	xvi, 350 p. :ill. ;24 cm.
標題:	Computer softwareDevelopment.
ISBN:	9780262101141

Software abstractions :logic, language and analysis /
Jackson, Daniel.

Software abstractions :logic, language and analysis /Daniel Jackson. - Cambridge, Mass. :MIT Press,c2006. - xvi, 350 p. :ill. ;24 cm.

Includes bibliographical references (p. [333]-339) and index.

ISBN: 9780262101141

LCCN: 2005056155

Nat. Bib. No.: GBA620901bnbSubjects--Topical Terms:

184751
Computer software
--Development.

LC Class. No.: QA76.76.D47 / J12 2006

Dewey Class. No.: 005.1

Software abstractions :logic, language and analysis /
LDR:00698nam 2200217 a 450 001 176850
005 19990819193205.0
008 090528s2006 maua 001 0 eng
010 $a 2005056155
015 $2 bnb $a GBA620901
020 $a 9780262101141
020 $a 0262101149 (alk. paper) : $c NT$1123
035 $a 00283311
040 $a DLC $c DLC $d BAKER $d C#P $d COO $d DLC $d IXA $d NLGGC $d UKM
041 0 $a eng
042 $a pcc
050 4 $a QA76.76.D47 $b J12 2006
082 0 0 $2 22 $a 005.1
100 $a Jackson, Daniel. $3 257637
245 1 0 $a Software abstractions : $b logic, language and analysis / $c Daniel Jackson.
260 $a Cambridge, Mass. : $c c2006. $b MIT Press,
300 $a xvi, 350 p. : $b ill. ; $c 24 cm.
504 $a Includes bibliographical references (p. [333]-339) and index.
650 $a Computer software $x Development. $3 184751

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

館藏流通類別

320000187718

西方語文圖書區(四樓)

1圖書

一般圖書

QA76.76.D47 J12 2006

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入