- 0 Results
Lowest price: € 60.99, highest price: € 93.37, average price: € 74.29
1
Theoretical Aspects of Computing - ICTAC 2007 - Cliff B. Jones; Zhiming Liu; Jones Woodcock
Order
at Springer.com
£ 79.99
(aprox. € 93.37)
Order
Sponsored link
Cliff B. Jones; Zhiming Liu; Jones Woodcock:

Theoretical Aspects of Computing - ICTAC 2007 - Paperback

2007, ISBN: 9783540752905

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. The 29 revised f… More...

new in stock. Shipping costs:plus shipping costs.
2
Order
at booklooker.de
€ 62.90
Shipment: € 0.00
Order
Sponsored link

Jones, Cliff B.:

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings Cliff B. Jones (u. a.) Taschenbuch Englisch 2007 - Paperback

2007, ISBN: 9783540752905

[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau,… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
3
Order
at booklooker.de
€ 60.99
Shipment: € 0.00
Order
Sponsored link
Jones, Cliff B. (Volume ed.) / Liu, Zhiming / Woodcock, Jones:
Theoretical Aspects of Computing - ICTAC 2007 - Paperback

2007

ISBN: 9783540752905

[ED: Softcover], [PU: Springer, Berlin], This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, … More...

Shipping costs:Free shipping. (EUR 0.00) buecher.de GmbH & Co. KG
4
Theoretical Aspects of Computing - ICTAC 2007 - Cliff B. Jones#Zhiming Liu#Jones Woodcock
Order
at Thalia.de
€ 79.99
Order
Sponsored link
Cliff B. Jones#Zhiming Liu#Jones Woodcock:
Theoretical Aspects of Computing - ICTAC 2007 - Paperback

2007, ISBN: 9783540752905

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. The aim of the c… More...

Nr. 14972351. Shipping costs:Does not ship to your country., plus shipping costs
5
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Order
at awesomebooks.com
£ 63.54
(aprox. € 74.18)
Shipment: € 3.49
Order
Sponsored link
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues) - new book

2007, ISBN: 9783540752905

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.; Computing & Int… More...

No. 9783540752905. Shipping costs:2, (EUR 3.49)

Details of the book
Theoretical Aspects of Computing - ICTAC 2007

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. The 29 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 69 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development.

Details of the book - Theoretical Aspects of Computing - ICTAC 2007


EAN (ISBN-13): 9783540752905
ISBN (ISBN-10): 3540752900
Hardcover
Paperback
Publishing year: 2007
Publisher: Springer Berlin
481 Pages
Weight: 0,757 kg
Language: eng/Englisch

Book in our database since 2008-01-29T10:54:44-05:00 (New York)
Detail page last modified on 2021-09-14T06:31:04-04:00 (New York)
ISBN/EAN: 9783540752905

ISBN - alternate spelling:
3-540-75290-0, 978-3-540-75290-5


Information from Publisher

Author: Cliff B. Jones; Zhiming Liu; Jones Woodcock
Title: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Aspects of Computing - ICTAC 2007 - 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
Publisher: Springer; Springer Berlin
486 Pages
Publishing year: 2007-09-12
Berlin; Heidelberg; DE
Printed / Made in
Weight: 0,759 kg
Language: English
96,29 € (DE)
98,99 € (AT)
106,50 CHF (CH)
POD

BC; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Informatik; Verstehen; Informatik; Automat; automata; automata theory; formal language; formal languages; model checking; modeling; programming; programming language; real-time; semantics; theorem proving; verification; C; Theory of Computation; Computation by Abstract Devices; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compilers and Interpreters; Software Engineering; Computer Science; Theoretische Informatik; Informatik; Computerprogrammierung und Softwareentwicklung; Rechnerarchitektur und Logik-Entwurf; Theoretische Informatik; Programmier- und Skriptsprachen, allgemein; Compiler und Übersetzer; Software Engineering; EA

Domain Theory: Practice and Theories A Discussion of Possible Research Topics.- Linking Semantic Models.- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems.- Mobile Ambients with Timers and Types.- Automatic Refinement of Split Binary Semaphore.- Stepwise Development of Simulink Models Using the Refinement Calculus Framework.- Bisimulations for a Distributed Higher Order ?-Calculus.- A Complete and Compact Propositional Deontic Logic.- Verifying Lock-Freedom Using Well-Founded Orders.- Tree Components Programming: An Application to XML.- A Framework for Incorporating Trust into Formal Systems Development.- A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.- Distributed Time-Asynchronous Automata.- Skolem Machines and Geometric Logic.- A Logical Calculus for Modelling Interferences.- Reflection and Preservation of Properties in Coalgebraic (bi)Simulations.- Controlling Process Modularity in Mobile Computing.- Failures: Their Definition, Modelling and Analysis.- C WS: A Timed Service-Oriented Calculus.- Regular Linear Temporal Logic.- Algebraic Semantics for Compensable Transactions.- Axiomatizing Extended Temporal Logic Fragments Via Instantiation.- Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau.- Linear Context Free Languages.- FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.- On Equality Predicates in Algebraic Specification Languages.- Data-Distributions in PowerList Theory.- Quasi-interpretation Synthesis by Decomposition.- Composing Transformations to Optimize Linear Code.- Building Extended Canonizers by Graph-Based Deduction.- A Randomized Algorithm for BBCSPs in the Prover-Verifier Model.- On the Expressive Power of QLTL.

< to archive...