嶺東科技大學 |

[NT 42591] Language: 簡体中文

[NT 5480] Login

[NT 59466] Create an account

[NT 5635] Back

[NT 59884] Switch To: [NT 5556] Labeled | [NT 5559] MARC Mode | [NT 33762] ISBD

Software abstractions : logic, language, and analysis

[NT 42944] Record Type:	[NT 1579] Language materials, printed : [NT 40817] monographic
[NT 47348] Title Information:	logic, language, and analysis
[NT 47261] Author:	JacksonDaniel,
[NT 47351] Place of Publication:	Cambridge, Mass.
[NT 47263] Published:	MIT Press;
[NT 47352] Year of Publication:	2006
[NT 47264] Description:	xvi, 350p.ill. : 24cm.;
[NT 47266] Subject:	Computer software - Development. -
[NT 47265] Notes:	Includes bibliographical references(p.[333]-339) and index.
[NT 50961] ISBN:	0-262-10114-9bound

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

Software abstractions : logic, language, and analysis / Daniel Jackson - Cambridge, Mass. : MIT Press, 2006. - xvi, 350p. ; ill. ; 24cm..
Includes bibliographical references(p.[333]-339) and index..
ISBN 0-262-10114-9
Computer software - Development.

Software abstractions : logic, language, and analysis
LDR:00450nam0 2200133 450 001 166406
010 1 $a 0-262-10114-9 $b bound $d NT$1109
100 $a 20100306d2006 y0engy09 e
101 0 $a eng
200 0 $a Software abstractions $e logic, language, and analysis $f Daniel Jackson
210 $a Cambridge, Mass. $d 2006 $c MIT Press
215 1 $a xvi, 350p. $c ill. $d 24cm.
300 $a Includes bibliographical references(p.[333]-339) and index.
606 # 1 $a Computer software - Development. $3 47176
676 $a 005.1
700 1 $a Jackson $b Daniel $3 167939
801 0 $b 嶺東科技大學圖書館

[NT 59758] based on 0 [NT 59757] review(s)

[NT 42818] Items

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 5000115] Inventory Number

[NT 7898] Location Name

[NT 7947] Item Class

[NT 33989] Material type

[NT 43385] Call number

[NT 5501238] Usage Class

[NT 45600] Loan Status

[NT 48088] No. of reservations

[NT 52971] Opac note

[NT 46641] Attachments

234264

總館A區6F

一般流通

一般圖書

005.1 J12

一般使用(Normal)

[NT 41737] On shelf

0

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 59725] Reviews

[NT 59886] Add a review [NT 59885] and share your thoughts with other readers

Export

[NT 5501410] pickup library

[NT 48336] Change password

[NT 5480] Login