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
- Title:
- 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)
- Main Title:
- Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.370839
- Ingest File:
- 01_355.xml