Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Modular specification and verificati...
~
Muller, Peter.
Modular specification and verification of object-oriented programs
Record Type:
Electronic resources : Monograph/item
Title/Author:
Modular specification and verification of object-oriented programsPeter Muller.
Author:
Muller, Peter.
Published:
Berlin ;Springer,c2002.
Description:
xiv, 292 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer e-books
Subject:
Modular programming.
Online resource:
http://dx.doi.org/10.1007/3-540-45651-1
ISBN:
9783540431671 (paper)
Modular specification and verification of object-oriented programs
Muller, Peter.
Modular specification and verification of object-oriented programs
[electronic resource] /Peter Muller. - Berlin ;Springer,c2002. - xiv, 292 p. :ill., digital ;24 cm. - Lecture notes in computer science,22620302-9743 ;.
ISBN: 9783540431671 (paper)Subjects--Topical Terms:
469745
Modular programming.
LC Class. No.: QA76.64 / .M845 2002
Dewey Class. No.: 005.1
Modular specification and verification of object-oriented programs
LDR
:00807nmm 2200229 a 4500
001
265703
003
GreenPo
005
20100820142129.0
006
m d
007
cr nn 008maaau
008
101102s2002 gw s j eng d
020
$a
9783540431671 (paper)
035
$a
978-3-540-43167-1
050
0 0
$a
QA76.64
$b
.M845 2002
082
0 4
$a
005.1
$2
21
090
$a
QA76.64
$b
.M958 2002
100
1
$a
Muller, Peter.
$3
323466
245
1 0
$a
Modular specification and verification of object-oriented programs
$h
[electronic resource] /
$c
Peter Muller.
260
$a
Berlin ;
$a
New York :
$b
Springer,
$c
c2002.
300
$a
xiv, 292 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
2262
650
0
$a
Modular programming.
$3
469745
650
0
$a
Object-oriented programming (Computer science)
$3
184801
650
0
$a
Computer software
$x
Development.
$3
184751
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer e-books
856
4 0
$u
http://dx.doi.org/10.1007/3-540-45651-1
950
$a
Computer Science (Lecture Notes in Computer Science)
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
000000046821
電子館藏
1圖書
電子書
EB QA76.64 .M845 2002 c2002.
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/3-540-45651-1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login