Language:
English
繁體中文
Help
圖資館首頁
Login
Back
to Search results for
[ author_sort:"almeida, jose bacelar." ]
Switch To:
Labeled
|
MARC Mode
|
ISBD
Rigorous software developmentan intr...
~
Almeida, Jose Bacelar.
Rigorous software developmentan introduction to program verification /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Rigorous software developmentby Jose Bacelar Almeida ... [et al.].
Reminder of title:
an introduction to program verification /
other author:
Almeida, Jose Bacelar.
Published:
London :Springer-Verlag London Limited,2011.
Description:
xii, 263 p. :ill., digital ;24 cm.
Series:
Undergraduate topics in computer science,
Contained By:
Springer eBooks
Subject:
Computer softwareVerification.
Online resource:
http://dx.doi.org/10.1007/978-0-85729-018-2
ISBN:
9780857290182 (electronic bk.)
Rigorous software developmentan introduction to program verification /
Rigorous software development
an introduction to program verification /[electronic resource] :by Jose Bacelar Almeida ... [et al.]. - London :Springer-Verlag London Limited,2011. - xii, 263 p. :ill., digital ;24 cm. - Undergraduate topics in computer science,1863-7310.
ISBN: 9780857290182 (electronic bk.)Subjects--Topical Terms:
184731
Computer software
--Verification.
LC Class. No.: QA76.76.V47 / R54 2011
Dewey Class. No.: 005.14
Rigorous software developmentan introduction to program verification /
LDR
:00861nmm 2200241 a 4500
001
293589
003
Springer
005
20110711150434.0
006
m d
007
cr nn 008maaau
008
110816s2011 enk s j eng d
020
$a
9780857290182 (electronic bk.)
020
$a
9780857290175 (paper)
035
$a
978-0-85729-017-5
050
0 4
$a
QA76.76.V47
$b
R54 2011
082
0 4
$a
005.14
$2
22
090
$a
QA76.76.V47
$b
R572 2011
245
0 0
$a
Rigorous software development
$h
[electronic resource] :
$b
an introduction to program verification /
$c
by Jose Bacelar Almeida ... [et al.].
260
$a
London :
$b
Springer-Verlag London Limited,
$c
2011.
300
$a
xii, 263 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Undergraduate topics in computer science,
$x
1863-7310
650
0
$a
Computer software
$x
Verification.
$3
184731
650
0
$a
Computer software
$x
Development.
$3
184751
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Logics and Meanings of Programs.
$3
275357
650
2 4
$a
Symbolic and Algebraic Manipulation.
$3
273720
700
1
$a
Almeida, Jose Bacelar.
$3
510617
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-0-85729-018-2
950
$a
Computer Science (Springer-11645)
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
000000054536
電子館藏
1圖書
電子書
EB QA76.76.V47 R54 2011
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-0-85729-018-2
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login