Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Hardware and softwareverification an...
~
(1998 :)
Hardware and softwareverification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Hardware and softwareedited by Nir Piterman.
Reminder of title:
verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
remainder title:
HVC 2015
other author:
Piterman, Nir.
corporate name:
Published:
Cham :Springer International Publishing :2015.
Description:
xvi, 293 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Computer science.
Online resource:
http://dx.doi.org/10.1007/978-3-319-26287-1
ISBN:
9783319262871$q(electronic bk.)
Hardware and softwareverification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
Hardware and software
verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /[electronic resource] :HVC 2015edited by Nir Piterman. - Cham :Springer International Publishing :2015. - xvi, 293 p. :ill., digital ;24 cm. - Lecture notes in computer science,94340302-9743 ;. - Lecture notes in computer science ;4891..
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.
ISBN: 9783319262871$q(electronic bk.)
Standard No.: 10.1007/978-3-319-26287-1doiSubjects--Topical Terms:
199325
Computer science.
LC Class. No.: QA76.758
Dewey Class. No.: 005.1
Hardware and softwareverification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
LDR
:01593nmm a2200325 a 4500
001
476711
003
DE-He213
005
20160428095330.0
006
m d
007
cr nn 008maaau
008
160526s2015 gw s 0 eng d
020
$a
9783319262871$q(electronic bk.)
020
$a
9783319262864$q(paper)
024
7
$a
10.1007/978-3-319-26287-1
$2
doi
035
$a
978-3-319-26287-1
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.758
072
7
$a
UMZ
$2
bicssc
072
7
$a
COM051230
$2
bisacsh
082
0 4
$a
005.1
$2
23
090
$a
QA76.758
$b
.I61 2015
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Hardware and software
$h
[electronic resource] :
$b
verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
$c
edited by Nir Piterman.
246
3
$a
HVC 2015
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2015.
300
$a
xvi, 293 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
9434
520
$a
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.
650
0
$a
Computer science.
$3
199325
650
0
$a
Computer networks.
$3
181923
650
0
$a
Software engineering.
$3
184729
650
0
$a
Programming languages (Electronic computers)
$3
184586
650
0
$a
Computer logic.
$3
199471
650
0
$a
Logic, Symbolic and mathematical.
$3
180452
650
0
$a
Artificial intelligence.
$3
194058
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
Programming Languages, Compilers, Interpreters.
$3
274102
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Artificial Intelligence (incl. Robotics)
$3
252959
650
2 4
$a
Computer Communication Networks.
$3
218087
700
1
$a
Piterman, Nir.
$3
731380
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
4891.
$3
383229
856
4 0
$u
http://dx.doi.org/10.1007/978-3-319-26287-1
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
000000119930
電子館藏
1圖書
電子書
EB QA76.758 I61 2015
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-319-26287-1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login