東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Verification and evaluation of compu...

International Conference on Verification and Evaluatiuon of Computer and Communication Systems (2017 :)

FindBook

Google Book

Amazon

博客來

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

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

Verification and evaluation of computer and communication systems = 11th 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 ;10466..

This book constitutes the proceedings of the 11th International Conference International Conference on Verification 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 verification, 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 verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.

ISBN: 9783319661766

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

893011
Computer networks
--Evaluation--Congresses.

LC Class. No.: TK5105.5

Dewey Class. No.: 004.36

Verification and evaluation of computer and communication systems = 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /
LDR:02100nmm a2200325 a 4500 001 2106155
003 DE-He213
005 20170814065748.0
006 m d
007 cr nn 008maaau
008 180417s2017 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 $a International Conference on Verification and Evaluatiuon of Computer and Communication Systems $n (11th : $d 2017 : $c Montreal, Quebec) $3 3251739
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 Verification 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 verification, 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 verification 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 893011
650 0 $a Computer software $x Verification $v Congresses. $3 844546
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 891007
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Operating Systems. $3 892491
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 890894
700 1 $a Barkaoui, Kamel. $3 1567605
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 10466. $3 3251740
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-66176-6
950 $a Computer Science (Springer-11645)