Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings /: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. (2017)

• Record Type: Book
• Other Titles: VECoS 2017
• Further Information: Note: Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar (eds.).
• Editors: Barkaoui, Kamel; Boucheneb, Hanifa; Mili, Ali; Tahar, Sofiène, 1966-
• Other Names: VECoS (Conference), 11th
• Contents: Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation -- Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation -- Control methods -- Modeling methodologies -- Model development and analysis -- Modeling and simulation.- Formal mehods.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (xvi, 205 pages), illustrations
• Subjects: 004/.36; Computer science; Computer networks -- Evaluation -- Congresses; Computer software -- Verification -- Congresses; Computer Science; Algorithm Analysis and Problem Complexity; Software Engineering; Operating Systems; Programming Languages, Compilers, Interpreters; Programming Techniques; Artificial Intelligence (incl. Robotics); Computer networks -- Evaluation; Computer software -- Verification; Computers -- Software Development & Engineering -- General; Computers -- Operating Systems -- General; Computers -- Programming Languages -- General; Computers -- Programming -- General; Computers -- Intelligence (AI) & Semantics; Software Engineering; Operating systems; Programming & scripting languages: general; Computer programming / software development; Artificial intelligence; Computer software; Software engineering; Operating systems (Computers); Artificial intelligence; Computers -- Programming -- Algorithms; Algorithms & data structures; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319661766; 3319661760; 3319661752; 9783319661759
• Related ISBNs: 9783319661759
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed August 24, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.