Stock image for illustration purposes only - book cover, edition or condition may vary.
Theoretical Aspects of Computing -- ICTAC 2014
. Ed(S): Ciobanu, Gabriel; Mery, Dominique
€ 65.49
FREE Delivery in Ireland
Description for Theoretical Aspects of Computing -- ICTAC 2014
Paperback. Editor(s): Ciobanu, Gabriel; Mery, Dominique. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 496 pages, 97 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 753.
This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania, in September 2014. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 74 submissions. The papers cover various topics such as automata theory and formal languages; principles and semantics of programming languages; theories of concurrency, mobility and reconfiguration; logics and their applications; software architectures and their models, refinement and verification; relationship between software requirements, models and code; static and dynamic program analysis and verification; software specification, refinement, verification and testing; ... Read more
This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania, in September 2014. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 74 submissions. The papers cover various topics such as automata theory and formal languages; principles and semantics of programming languages; theories of concurrency, mobility and reconfiguration; logics and their applications; software architectures and their models, refinement and verification; relationship between software requirements, models and code; static and dynamic program analysis and verification; software specification, refinement, verification and testing; ... Read more
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
496
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
478
Place of Publication
Cham, Switzerland
ISBN
9783319108810
SKU
V9783319108810
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Theoretical Aspects of Computing -- ICTAC 2014