Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Time for verificationessays in memor...
~
Manna, Zohar.
Time for verificationessays in memory of Amir Pnueli /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Time for verificationedited by Zohar Manna, Doron A. Peled.
Reminder of title:
essays in memory of Amir Pnueli /
other author:
Manna, Zohar.
Published:
Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2010.
Description:
x, 399 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer eBooks
Subject:
Computer softwareVerification.
Online resource:
http://dx.doi.org/10.1007/978-3-642-13754-9
ISBN:
9783642137549 (electronic bk.)
Time for verificationessays in memory of Amir Pnueli /
Time for verification
essays in memory of Amir Pnueli /[electronic resource] :edited by Zohar Manna, Doron A. Peled. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2010. - x, 399 p. :ill., digital ;24 cm. - Lecture notes in computer science,62000302-9743 ;.
ISBN: 9783642137549 (electronic bk.)Subjects--Topical Terms:
184731
Computer software
--Verification.
LC Class. No.: QA76.76.V47 / T56 2010
Dewey Class. No.: 005.14
Time for verificationessays in memory of Amir Pnueli /
LDR
:00857nmm 2200241 a 4500
001
274044
003
Springer
005
20101028132957.0
006
m d
007
cr nn 008maaau
008
101221s2010 gw s j eng d
020
$a
9783642137549 (electronic bk.)
020
$a
9783642137532 (paper)
035
$a
978-3-642-13753-2
050
0 4
$a
QA76.76.V47
$b
T56 2010
082
0 4
$a
005.14
$2
22
090
$a
QA76.76.V47
$b
T583 2010
245
0 0
$a
Time for verification
$h
[electronic resource] :
$b
essays in memory of Amir Pnueli /
$c
edited by Zohar Manna, Doron A. Peled.
260
$a
Berlin, Heidelberg :
$b
Springer-Verlag Berlin Heidelberg,
$c
2010.
300
$a
x, 399 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
6200
650
0
$a
Computer software
$x
Verification.
$3
184731
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Programming Techniques.
$3
274470
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Computation by Abstract Devices.
$3
273703
650
2 4
$a
Logics and Meanings of Programs.
$3
275357
700
1
$a
Manna, Zohar.
$3
217312
700
1
$a
Peled, Doron A.
$3
276347
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-3-642-13754-9
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
000000050294
電子館藏
1圖書
電子書
EB QA76.76.V47 T56 2010
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-642-13754-9
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login