About this title: This book constitutes the refereed proceedings of the Second International Colloquium on Theoretical Aspects of Computing, ICTAC 2005 held in Hanoi, Vietnam, in October 2005. The 35 revised full papers presented together with 5 invited talks and a summary of 5 tutorials were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on formal languages, computer science logics, program construction, real-time systems, concurrency and refinement, software security, quantitative logics, object-orientation and component systems, model-checking and ...
read more
Note: This is a general synopsis. Each listing is described below.
Binding: Paperback
Publisher: Springer
Date Published: 2005
ISBN-13:9783540291077ISBN:3540291075
Description: New. BRAND NEW and ready for dispatch. Delivery normally within 4/7 days. Our reputation is built on our Speedy Delivery Service and our Customer Service Team. read more
Binding: Paperback
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG Country = GERMANY
Date Published: 2005
ISBN-13:9783540291077ISBN:3540291075
Description: BRAND NEW PAPERBACK. 636 pages. This book is printed on demand (allow 1-2 weeks for printing) constitutes the proceedings of the second international colloquium on theoretical aspects of computing. the papers in this book include topics on formal languages, computer science logics, program construction, real-time systems, concurrency and refinement, software security, quantitative logics, and object-orientation and component systems. illustrations (Paperback) read more
Description: New. PLEASE NOTE: All books are promptly imported from the UK using DHL or Royal Mail international mail WITH TRACKING NUMBER. Print on demand title. D elivery is typically 5-10 working days. Please do not select expedited shipping. Professional and reliable bookseller (est.1987). read more
Binding: Paperback
Publisher: Springer
Date Published: 2007
ISBN-13:9783540291077ISBN:3540291075
Description: New. Constitutes the proceedings of the Second International Colloquium on Theoretical Aspects of Computing. The papers in this book include topics on formal languages, computer science logics, program construction, real-time systems, concurrency and refin... read more
Description: New. PLEASE NOTE: All books are promptly shipped from our UK warehouse using Royal Mail or DHL. International Priority mail for non-UK deliveries. Print on demand title. Delivery is typically 3-5 working days for UK delivery. Heavier or more expensive books are shipped with a TRACKING NUMBER. Professional and reliable bookseller (est.1987). read more
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.
