國立高雄大學圖資館 |

Language: English

Back

Verification and evaluation of compu...

(1998 :)

Verification and evaluation of computer and communication systems12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Verification and evaluation of computer and communication systemsedited by Mohamed Faouzi Atig ... [et al.].
Reminder of title:	12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018 : proceedings /
remainder title:	VECoS 2018
other author:	Atig, Mohamed Faouzi.
corporate name:
Published:	Cham :Springer International Publishing :2018.
Description:	xiv, 219 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer networksCongresses.Evaluation
Online resource:	https://doi.org/10.1007/978-3-030-00359-3
ISBN:	9783030003593$q(electronic bk.)

Verification and evaluation of computer and communication systems12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018 : proceedings /
Verification and evaluation of computer and communication systems12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018 : proceedings /[electronic resource] :VECoS 2018edited by Mohamed Faouzi Atig ... [et al.]. - Cham :Springer International Publishing :2018. - xiv, 219 p. :ill., digital ;24 cm. - Lecture notes in computer science,111810302-9743 ;. - Lecture notes in computer science ;4891..

Invited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model Checking and State-Space Exploration -- Stochastic and Probabilistic Systems.

ISBN: 9783030003593$q(electronic bk.)

Standard No.: 10.1007/978-3-030-00359-3doiSubjects--Topical Terms:

446478
Computer networks
--Evaluation--Congresses.

LC Class. No.: TK5105.5 / .V43 2018

Dewey Class. No.: 004.36

Verification and evaluation of computer and communication systems12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018 : proceedings /
LDR:01413nmm a2200349 a 4500 001 568658
003 DE-He213
005 20191026142806.0
006 m d
007 cr nn 008maaau
008 200707s2018 sz s 0 eng d
020 $a 9783030003593$q(electronic bk.)
020 $a 9783030003586$q(paper)
024 7 $a 10.1007/978-3-030-00359-3 $2 doi
035 $a 978-3-030-00359-3
040 $a GP $c GP
041 0 $a eng
050 4 $a TK5105.5 $b .V43 2018
072 7 $a UMB $2 bicssc
072 7 $a COM051300 $2 bisacsh
072 7 $a UMB $2 thema
082 0 4 $a 004.36 $2 23
090 $a TK5105.5 $b .V413 2018
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 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018 : proceedings / $c edited by Mohamed Faouzi Atig ... [et al.].
246 3 $a VECoS 2018
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a xiv, 219 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11181
490 1 $a Theoretical computer science and general issues
505 0 $a Invited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model Checking and State-Space Exploration -- Stochastic and Probabilistic 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 Algorithm Analysis and Problem Complexity. $3 273702
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a System Performance and Evaluation. $3 273898
650 2 4 $a The Computing Profession. $3 275271
700 1 $a Atig, Mohamed Faouzi. $3 851917
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
830 0 $a Theoretical computer science and general issues. $3 822018
856 4 0 $u https://doi.org/10.1007/978-3-030-00359-3
950 $a Computer Science (Springer-11645)