Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Verification, model checking, and ab...
~
(1998 :)
Verification, model checking, and abstract interpretation12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Verification, model checking, and abstract interpretationedited by Ranjit Jhala, David Schmidt.
Reminder of title:
12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /
other author:
Jhala, Ranjit.
corporate name:
Published:
Berlin, Heidelberg :Springer Berlin Heidelberg,2011.
Description:
xi, 418 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer eBooks
Subject:
Computer softwareCongresses.Verification
Online resource:
http://dx.doi.org/10.1007/978-3-642-18275-4
ISBN:
9783642182754 (electronic bk.)
Verification, model checking, and abstract interpretation12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /
Verification, model checking, and abstract interpretation
12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /[electronic resource] :edited by Ranjit Jhala, David Schmidt. - Berlin, Heidelberg :Springer Berlin Heidelberg,2011. - xi, 418 p. :ill., digital ;24 cm. - Lecture notes in computer science,65380302-9743 ;.
ISBN: 9783642182754 (electronic bk.)Subjects--Topical Terms:
443711
Computer software
--Verification--Congresses.
LC Class. No.: QA76.76.V47 / V53 2011
Dewey Class. No.: 005.14
Verification, model checking, and abstract interpretation12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /
LDR
:00956nmm 2200241 a 4500
001
293576
003
Springer
005
20110712142232.0
006
m d
007
cr nn 008maaau
008
110816s2011 gw s j eng d
020
$a
9783642182754 (electronic bk.)
020
$a
9783642182747 (paper)
035
$a
978-3-642-18274-7
050
0 4
$a
QA76.76.V47
$b
V53 2011
082
0 4
$a
005.14
$2
22
090
$a
QA76.76.V47
$b
V871 2011
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Verification, model checking, and abstract interpretation
$h
[electronic resource] :
$b
12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /
$c
edited by Ranjit Jhala, David Schmidt.
260
$a
Berlin, Heidelberg :
$b
Springer Berlin Heidelberg,
$c
2011.
300
$a
xi, 418 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
6538
650
0
$a
Computer software
$x
Verification
$v
Congresses.
$3
443711
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Logics and Meanings of Programs.
$3
275357
650
2 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
274102
650
2 4
$a
Algorithm Analysis and Problem Complexity.
$3
273702
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Programming Techniques.
$3
274470
700
1
$a
Jhala, Ranjit.
$3
510606
700
1
$a
Schmidt, David.
$3
510607
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-18275-4
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
000000054523
電子館藏
1圖書
電子書
EB QA76.76.V47 V53 2011
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-642-18275-4
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login