國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Software abstractions :logic, langua...

~

Jackson, Daniel.

Software abstractions :logic, language and analysis /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Software abstractions :Daniel Jackson.
Reminder of title:	logic, language and analysis /
Author:	Jackson, Daniel.
Published:	Cambridge, Mass. :MIT Press,c2006.
Description:	xvi, 350 p. :ill. ;24 cm.
Subject:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

320000187718

西方語文圖書區(四樓)

1圖書

一般圖書

QA76.76.D47 J12 2006

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login