Del i serien Lecture Notes in Computer Science
Theoretical Aspects of Computing -- ICTAC 2013
10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Häftad, Engelska, 2013
749 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Produktinformation
- Utgivningsdatum2013-07-15
- Mått155 x 235 x 25 mm
- Vikt692 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor445
- Upplaga2013
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642397172
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Methods and Hybrid Real-Time Systems
Cliff B. Jones, Zhiming Liu, Jim Woodcock
Häftad, 2007
749 kr
Unifying Theories of Programming and Formal Engineering Methods
Zhiming Liu, Jim Woodcock, Huibiao Zhu
Häftad, 2013
749 kr
Service-Oriented Computing - ICSOC Workshops 2012
Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang
Häftad, 2013
749 kr
Del 13071
Dependable Software Engineering. Theories, Tools, and Applications
Shengchao Qin, Jim Woodcock, Wenhui Zhang
Häftad, 2021
1 109 kr
Del 10134
Refinement Techniques in Software Engineering
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Häftad, 2006
749 kr