Items related to Theoretical Aspects of Computing -- ICTAC 2011: 8th...
Theoretical Aspects of Computing -- ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings: 6916 (Lecture Notes in Computer Science, 6916) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011.
The 14 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 44 submissions. The papers address various theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types.
"synopsis" may belong to another edition of this title.
Search results for Theoretical Aspects of Computing -- ICTAC 2011: 8th...
Stock Image
Theoretical Aspects of Computing -- ICTAC 2011 (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 0027899b9666c0b71f78fae8a5f0c92d
Buy New
£ 40.14
£ 4.64 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Theoretical Aspects of Computing -- ICTAC 2011 (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642232825
ISBN 13: 9783642232824
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. The 14 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 44 submissions. The papers address various theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types. This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783642232824
Seller Image
Theoretical Aspects of Computing -- ICTAC 2011
Published by
Springer Berlin Heidelberg, 2011
ISBN 10: 3642232825
ISBN 13: 9783642232824
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Fast track conference proceedings Unique visibility State of art researchFast track conference proceedingsUnique visibilityState of art researchThis book constitutes the refereed proceedings of the 8th Inter. Seller Inventory # 5053164
Stock Image
Theoretical Aspects of Computing - ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
Published by
Springer-Verlag New York Inc, 2011
ISBN 10: 3642232825
ISBN 13: 9783642232824
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 277 pages. 9.20x6.00x0.70 inches. In Stock. Seller Inventory # x-3642232825
Buy New
£ 84.10
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Theoretical Aspects of Computing -- ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings: 6916 (Lecture Notes in Computer Science)
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. x + 267 2011th edition. Seller Inventory # 2658573943
Stock Image
Theoretical Aspects of Computing -- ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings: 6916 (Lecture Notes in Computer Science)
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. x + 267. Seller Inventory # 51018664
Buy New
£ 117.89
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Theoretical Aspects of Computing -- ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 267 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 10942176/12
Stock Image
Theoretical Aspects of Computing--Ictac 2011: 8th International Colloquium, Johannesburg, South Africa, August 31--September 2, 2011, Proceedings: 6916 (Lecture Notes in Computer Science, 6916) [Paperback] [Aug 12, 2011] Cerone, Antonio and.
Seller: StainesBookhub, Weybridge, SURRE, United Kingdom
Seller rating 2 out of 5 stars
Condition: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage. Seller Inventory # SPRLISTINGBYSHB12095
Buy New
£ 139.10
£ 30 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available