2010, ISBN: 9783642148071
The now well-established series of International Colloquia on Theoretical - pects of Computing (ICTAC) brings together practitionersand researchersfrom academia, industry and government to present research results, and exchange experience and ideas. Beyond these scholarly goals, another main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries. ThisvolumecontainsthepaperspresentedatICTAC2010.Itwasheldduring September 1-3 in the city of Natal, Rio Grande do Norte, Brazil. Therewere68submissionsbyauthorsfrom24countriesallaroundthe world. Each submission was reviewed by at least three, and on average four, Program Committee members and external reviewers. After extensive discussions, they decided to accept the 23 (regular) papers presented here. Authors of a selection of these papers were invited to submit an extended version of their work to a special issue of the Theoretical Computer Science journal. Seven of the papers were part of a special track including one paper on "F- mal Aspects of Software Testing", and six on the "Grand Challenge in Veri?ed Software."ThespecialtrackwasjointlyorganizedbyMarie-ClaudeGaudel,from the Universit´ e de Paris-Sud, and Jim Woodcock, from the University of York. Books > Computers > Computer Science List_Books, [PU: Springer, Berlin/Heidelberg/New York, NY]
| Indigo.ca new in stock. Shipping costs:plus shipping costs. Details... |
2010, ISBN: 9783642148071
Springer, Taschenbuch, Auflage: 2010, 410 Seiten, Publiziert: 2010-08-11T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 60 black & white illustrations, biograph, 1.35 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Bücher, Ingenieurwissenschaft & Technik, Naturwissenschaften & Technik, Format: Illustriert, Cavalcanti, Ana, Deharbe, David, Gaudel, Marie-Claude, Woodcock, Jim, Springer, 2010
| amazon.de ausverkauf Shipping costs:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2010, ISBN: 9783642148071
Editor: Cavalcanti, Ana, Editor: Deharbe, David, Editor: Gaudel, Marie-Claude, Editor: Woodcock, Jim, Springer, Paperback, Auflage: 2010, 410 Seiten, Publiziert: 2010-08-11T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 60 black & white illustrations, biograph, 0.61 kg, Architecture & Microprocessors, Computer Science, Computing & Internet, Subjects, Books, Format: Illustrated, Springer, 2010
| amazon.co.uk Book Depository Shipping costs:Usually dispatched within 6 to 10 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.77) Details... |
2010, ISBN: 9783642148071
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
| lehmanns.de Shipping costs:Titel z.Zt. nicht lieferbar. (EUR 0.00) Details... |
2010, ISBN: 3642148077
[EAN: 9783642148071], Neubuch, [PU: Springer], Books
| AbeBooks.de Ria Christie Collections, Uxbridge, United Kingdom [59718070] [Rating: 4 (von 5)] NEW BOOK. Shipping costs: EUR 4.97 Details... |
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedin - new book
2010, ISBN: 9783642148071
The now well-established series of International Colloquia on Theoretical - pects of Computing (ICTAC) brings together practitionersand researchersfrom academia, industry and gove… More...
2010, ISBN: 9783642148071
Springer, Taschenbuch, Auflage: 2010, 410 Seiten, Publiziert: 2010-08-11T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 60 black & white illustrations, biograph, 1.35 kg, Informatik, IT-… More...
2010
ISBN: 9783642148071
Editor: Cavalcanti, Ana, Editor: Deharbe, David, Editor: Gaudel, Marie-Claude, Editor: Woodcock, Jim, Springer, Paperback, Auflage: 2010, 410 Seiten, Publiziert: 2010-08-11T00:00:01Z, Pro… More...
2010, ISBN: 9783642148071
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
2010, ISBN: 3642148077
[EAN: 9783642148071], Neubuch, [PU: Springer], Books
| Author: | |
| Title: | |
| ISBN: |
Details of the book - Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedin
EAN (ISBN-13): 9783642148071
ISBN (ISBN-10): 3642148077
Hardcover
Paperback
Publishing year: 2010
Publisher: Springer Berlin
397 Pages
Weight: 0,623 kg
Language: eng/Englisch
Book in our database since 2007-06-16T02:08:26-04:00 (New York)
Detail page last modified on 2022-04-13T22:28:25-04:00 (New York)
ISBN/EAN: 9783642148071
ISBN - alternate spelling:
3-642-14807-7, 978-3-642-14807-1
Information from Publisher
Author: Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock
Title: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Theoretical Aspects of Computing - 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Publisher: Springer; Springer Berlin
397 Pages
Publishing year: 2010-08-11
Berlin; Heidelberg; DE
Language: English
74,89 € (DE)
76,99 € (AT)
93,59 CHF (CH)
Temporarily unavailable
XIII, 397 p. 60 illus.
BC; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; CSP; LA; XML; algorithms; ants; arithmetic operations; category theory; coalgebra; component based system; concurrency; fault tolerance; formal desc; high level petri nets; logic; testing; C; Theory of Computation; Computation by Abstract Devices; Theory of Computation; Computer Science; EA
Invited Papers and Abstract.- Invariants and Well-Foundedness in Program Algebra.- A Theory of Software Product Line Refinement.- The TLA?+? Proof System: Building a Heterogeneous Verification Platform.- Grammars.- Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules.- Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution.- Tracking Down the Origins of Ambiguity in Context-Free Grammars.- Semantics.- Prioritized slotted-Circus.- A Denotational Semantical Model for Orc Language.- An Extended cCSP with Stable Failures Semantics.- Preference and Non-deterministic Choice.- Modelling.- Material Flow Abstraction of Manufacturing Systems.- Specification and Verification of a MPI Implementation for a MP-SoC.- Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software.- Testing of Abstract Components.- Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform.- Analyzing a Formal Specification of Mondex Using Model Checking.- Formal Modelling of Separation Kernel Components.- Mechanized Verification with Sharing.- Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking.- Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements.- Logics.- Complete Calculi for Structured Specifications in Fork Algebra.- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting.- Characterizing Locality (Encapsulation) with Bisimulation.- Justification Logic and History Based Computation.- Algorithms and Types.- A Class of Greedy Algorithms and Its Relation to Greedoids.- On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types.- A Modality for Safe Resource Sharing and Code Reentrancy.More/other books that might be very similar to this book
Latest similar book:
9783030642754 Theoretical Aspects Of Computing - Ictac 2020: 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Procee (Violet Ka I Pun; Volker Stolz; Adenilso Simao)
- 9783030642754 Theoretical Aspects Of Computing - Ictac 2020: 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Procee (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, Pr (Robert Mark Hierons; Mohamed Mosbah)
- 9783642034664 Theoretical Aspects of Computing - ICTAC 2009 (Springer)
- 9783642034657 Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedin (Martin Leucker#Charles Carroll Morgan)
< to archive...