國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Verification and evaluation of compu...

(1998 :)

Verification and evaluation of computer and communication systems11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Verification and evaluation of computer and communication systemsedited by Kamel Barkaoui ... [et al.].
其他題名:	11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /
其他題名:	VECoS 2017
其他作者:	Barkaoui, Kamel.
團體作者:
出版者:	Cham :Springer International Publishing :2017.
面頁冊數:	xvi, 205 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Computer networksCongresses.Evaluation
電子資源:	http://dx.doi.org/10.1007/978-3-319-66176-6
ISBN:	9783319661766$q(electronic bk.)

Verification and evaluation of computer and communication systems11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /
Verification and evaluation of computer and communication systems11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /[electronic resource] :VECoS 2017edited by Kamel Barkaoui ... [et al.]. - Cham :Springer International Publishing :2017. - xvi, 205 p. :ill., digital ;24 cm. - Lecture notes in computer science,104660302-9743 ;. - Lecture notes in computer science ;4891..

This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veriﬁcation, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly in terrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veriﬁcation and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.

ISBN: 9783319661766$q(electronic bk.)

Standard No.: 10.1007/978-3-319-66176-6doiSubjects--Topical Terms:

446478
Computer networks
--Evaluation--Congresses.

LC Class. No.: TK5105.5

Dewey Class. No.: 004.36

Verification and evaluation of computer and communication systems11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /
LDR:02103nmm a2200325 a 4500 001 521112
003 DE-He213
005 20170814065748.0
006 m d
007 cr nn 008maaau
008 180504s2017 gw s 0 eng d
020 $a 9783319661766$q(electronic bk.)
020 $a 9783319661759$q(paper)
024 7 $a 10.1007/978-3-319-66176-6 $2 doi
035 $a 978-3-319-66176-6
040 $a GP $c GP
041 0 $a eng
050 4 $a TK5105.5
072 7 $a UMB $2 bicssc
072 7 $a COM051300 $2 bisacsh
082 0 4 $a 004.36 $2 23
090 $a TK5105.5 $b .I61 2017
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Verification and evaluation of computer and communication systems $h [electronic resource] : $b 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings / $c edited by Kamel Barkaoui ... [et al.].
246 3 $a VECoS 2017
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2017.
300 $a xvi, 205 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10466
520 $a This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veriﬁcation, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly in terrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veriﬁcation and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.
650 0 $a Computer networks $x Evaluation $v Congresses. $3 446478
650 0 $a Computer software $x Verification $v Congresses. $3 443711
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 273702
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Operating Systems. $3 274474
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Programming Techniques. $3 274470
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 252959
700 1 $a Barkaoui, Kamel. $3 280198
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-66176-6
950 $a Computer Science (Springer-11645)