Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Software Engineering.Abstraction and...
~
Bjorner, Dines.
Software Engineering.Abstraction and Modelling /1
Record Type:
Electronic resources : Monograph/item
Title/Author:
Software Engineering.by Dines Bjorner.
Reminder of title:
Abstraction and Modelling /
Author:
Bjorner, Dines.
Published:
Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2006.
Description:
v. <1-3> :ill., digital ;24 cm.
Series:
Texts in Theoretical Computer Science an EATCS Series,
Contained By:
Springer e-books
Subject:
Software engineering.
Online resource:
http://dx.doi.org/10.1007/3-540-31288-9
ISBN:
9783540211495 (paper)
Software Engineering.Abstraction and Modelling /1
Bjorner, Dines.
Software Engineering.
Abstraction and Modelling /1[electronic resource] :by Dines Bjorner. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2006. - v. <1-3> :ill., digital ;24 cm. - Texts in Theoretical Computer Science an EATCS Series,1862-4499.
ISBN: 9783540211495 (paper)Subjects--Topical Terms:
184729
Software engineering.
LC Class. No.: QA76.758 / .B56 2006
Dewey Class. No.: 005.1
Software Engineering.Abstraction and Modelling /1
LDR
:00916nmm _22002415a_450
001
186322
003
Springer
005
20071105113257.0
006
m d
007
cr nn 008mamaa
008
090528s2006 gw j eng d
020
$a
9783540211495 (paper)
020
$a
9783540312888 (electronic bk.)
035
$a
00333682
050
0 0
$a
QA76.758
$b
.B56 2006
082
0 0
$2
22
$a
005.1
090
$a
QA76.758
$b
.B626 2006
100
0
$a
Bjorner, Dines.
$3
275402
245
1 0
$a
Software Engineering.
$b
Abstraction and Modelling /
$c
by Dines Bjorner.
$h
[electronic resource] :
$n
1
260
#
$a
Berlin, Heidelberg :
$c
2006.
$b
Springer-Verlag Berlin Heidelberg,
300
$a
v. <1-3> :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Texts in Theoretical Computer Science an EATCS Series,
$x
1862-4499
650
# 0
$a
Software engineering.
$3
184729
650
# 0
$a
Computer programming.
$3
181992
650
# 0
$a
Computer Science.
$3
212513
650
# 0
$a
Software Engineering.
$3
274511
650
# 0
$a
Programming Techniques.
$3
274470
650
# 0
$a
Programming Languages, Compilers, Interpreters.
$3
274102
650
# 0
$a
Logics and Meanings of Programs.
$3
275357
710
0 #
$a
SpringerLink (Online service)
$3
273601
773
0 #
$t
Springer e-books
856
4 0
$u
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/3-540-31288-9
$z
http://dx.doi.org/10.1007/3-540-31288-9
950
$a
Computer Science (Springer-11645; ZDB-2-SCS)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000011696
電子館藏
1圖書
電子書
EB QA76.758 B626 2006
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/3-540-31288-9
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login