2009, ISBN: 9783642034657
Series Editor: Morgan, Carroll, Springer, Taschenbuch, Auflage: 2009, 372 Seiten, Publiziert: 2009-07-29T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 1.15 kg, Informatik, IT… More...
amazon.de ausverkauf Shipping costs:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.99) Details... |
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings - Paperback
2009, ISBN: 3642034659
[EAN: 9783642034657], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], SOFTWARE ARCHITECTURE,ALGORITHM ANALYSIS AND PROBLEM COMPLEXITY,AUTOMATA,MODEL CHECKING,FORMAL LANGUAGES,… More...
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
2009, ISBN: 9783642034657
*Theoretical Aspects of Computing - ICTAC 2009* - 6th International Colloquium Kuala Lumpur Malaysia August 16-20 2009 Proceedings. Auflage 2009 / Taschenbuch für 53.49 € / Aus dem Bereic… More...
Hugendubel.de Shipping costs:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings - used book
2009, ISBN: 9783642034657
[PU: Springer Berlin], Neubindung, Buchrücken leicht angestossen, Ausgabe 2009 5646822/12, DE, [SC: 9.90], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, Kreditkarte, P… More...
booklooker.de |
Theoretical Aspects of Computing - ICTAC 2009 - First edition
2009, ISBN: 9783642034657
Paperback
6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2009
lehmanns.de Shipping costs:Versand in 10-14 Tagen. (EUR 9.95) Details... |
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Lecture Notes in Computer Science, 5684, Band 5684) - Paperback
2009, ISBN: 9783642034657
Series Editor: Morgan, Carroll, Springer, Taschenbuch, Auflage: 2009, 372 Seiten, Publiziert: 2009-07-29T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 1.15 kg, Informatik, IT… More...
Leucker, Martin und Charles Carroll Morgan:
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings - Paperback2009, ISBN: 3642034659
[EAN: 9783642034657], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], SOFTWARE ARCHITECTURE,ALGORITHM ANALYSIS AND PROBLEM COMPLEXITY,AUTOMATA,MODEL CHECKING,FORMAL LANGUAGES,… More...
2009
ISBN: 9783642034657
*Theoretical Aspects of Computing - ICTAC 2009* - 6th International Colloquium Kuala Lumpur Malaysia August 16-20 2009 Proceedings. Auflage 2009 / Taschenbuch für 53.49 € / Aus dem Bereic… More...
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings - used book
2009, ISBN: 9783642034657
[PU: Springer Berlin], Neubindung, Buchrücken leicht angestossen, Ausgabe 2009 5646822/12, DE, [SC: 9.90], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, Kreditkarte, P… More...
Theoretical Aspects of Computing - ICTAC 2009 - First edition
2009, ISBN: 9783642034657
Paperback
6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2009
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Theoretical Aspects of Computing - ICTAC 2009
EAN (ISBN-13): 9783642034657
ISBN (ISBN-10): 3642034659
Hardcover
Paperback
Publishing year: 2009
Publisher: Springer Berlin Heidelberg
355 Pages
Weight: 0,583 kg
Language: eng/Englisch
Book in our database since 2008-10-31T06:13:20-04:00 (New York)
Detail page last modified on 2024-04-08T02:45:08-04:00 (New York)
ISBN/EAN: 9783642034657
ISBN - alternate spelling:
3-642-03465-9, 978-3-642-03465-7
Alternate spelling and related search-keywords:
Book author: charles morgan, carroll, charles martin, springer, martin august
Book title: malaysia, general aspects, kuala lumpur international, colloquium, 2009, aspects the novel, august
Information from Publisher
Author: Martin Leucker; Charles Carroll Morgan
Title: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Theoretical Aspects of Computing - ICTAC 2009 - 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
Publisher: Springer; Springer Berlin
357 Pages
Publishing year: 2009-07-29
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 357 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Informatik; Action; automata; automata theory; computer; computer science; formal language; formal languages; model checking; modeling; software architecture; testing; verification; algorithm analysis and problem complexity; Programming Techniques; Software Engineering; Theory of Computation; Algorithms; Software Engineering; Theoretische Informatik; Algorithmen und Datenstrukturen; EA
Invited Papers.- Static Analysis of Concurrent Programs Using Ordinary Differential Equations.- The PlusCal Algorithm Language.- The Secret Art of Computer Programming.- Verification, Testing and Statistics.- Full Research Papers.- ?-Types for Effects and Freshness Analysis.- A First-Order Policy Language for History-Based Transaction Monitoring.- Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.- Transmission Protocols for Instruction Streams.- A Deadlock-Free Semantics for Shared Memory Concurrency.- On the Expressiveness of Forwarding in Higher-Order Communication.- On the Hairpin Completion of Regular Languages.- Context-Free Languages of Countable Words.- Automatic Conflict Detection on Contracts.- A Sound Observational Semantics for Modal Transition Systems.- Regular Expressions with Numerical Constraints and Automata with Counters.- On the Relative Expressive Power of Contextual Grammars with Maximal and Depth-First Derivations.- Integration Testing from Structured First-Order Specifications via Deduction Modulo.- A Minimized Assumption Generation Method for Component-Based Software Verification.- A Formal Approach to Heuristically Test Restorable Systems.- Constrained Reachability of Process Rewrite Systems.- Input-Output Model Programs.- Tool Papers.- IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata.- GSPeeDI – A Verification Tool for Generalized Polygonal Hybrid Systems.- Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems.More/other books that might be very similar to this book
Latest similar book:
9783031177149 Theoretical Aspects of Computing ? ICTAC 2022 (Helmut Seidl; Zhiming Liu; Corina S. Pasareanu)
- 9783031177149 Theoretical Aspects of Computing ? ICTAC 2022 (Helmut Seidl; Zhiming Liu; Corina S. Pasareanu)
- 9783030325060 Theoretical Aspects of Computing - ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings
- 9783030642754 Theoretical Aspects of Computing ? ICTAC 2020: 17th International Colloquium, Macau, China, November 30 ? December 4, 2020, Proceedings: 12545 (Theoretical Computer Science and General Issues, 12545) (Violet Ka I Pun; Volker Stolz; Adenilso Simao)
- 9783030325046 Theoretical Aspects of Computing ? ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 ? November 4, 2019, Proceedings: 11884 (Lecture Notes in Computer Science, 11884) (Robert Mark Hierons; Mohamed Mosbah)
- 9783642034664 Theoretical Aspects of Computing - ICTAC 2009 (Springer)
- Theoretical Aspects of Computing ? ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27?29, 2022, Proceedings (Lecture Notes in Computer Science Book 13572) (English Edition) (Hayes (auth.), Ian J. Cavalcanti, Ana, Deharbe, David, Gaudel, Marie-Claude, Woodcock (eds.), Jim)
- Group Theoretical Methods in Physics. Proceedings of the VIII International Colloquium on Group-Theoretical Methods in Physics, held at Kiryat Anavim, March 1979. (= Annals of the Israel Physical Society, 3). (Horowitz, L.P; Ne'eman, Y. (Hrsg.))
< to archive...