‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

Linksbuch Neu neu Rechtsbuch

Cavalcanti, Ana (Herausgeber)

Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 6255

Springer-Verlag GmbH, Springer Berlin, Oktober 2010


397 S. - Sprache: Englisch - 239x158x25 mm

ISBN: 3642148077 EAN: 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.


Preis: 89,99 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 89,99 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Produktdetails

Up to date results Fast conference prceedings State-of-the-art report

Inhaltsverzeichnis

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.


ISBN 3-642-14807-7

ISBN 978-3-642-14807-1

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Data Privacy Management, and Security Assurance 10th International Workshop, DPM 2015, and 4th Inter von Garcia-Alfaro, Joaquin (Herausgeber); Navarro-Arribas, Guillermo (Herausgeber); Aldini, Alessandro (
69,99 EUR

Homomorphic Signature Schemes A Survey von Traverso, Giulia; Demirel, Denise; Buchmann, Johannes
58,84 EUR

Stack Frames A Look From Inside von Di Cataldo, Giuseppe
34,99 EUR

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16- von Agotnes, Thomas (Herausgeber); Broersen, Jan M. (Herausgeber); Elgesem, Dag (Herausgeber)
69,99 EUR

Autonomous Intelligent Systems: Multi-Agents and Data Mining Second International Workshop, AIS-ADM von Gorodetsky, Vladimir (Herausgeber); Zhang, Chengqi (Herausgeber); Skormin, Victor A. (Herausgeber);
74,89 EUR

OpenStack Trove von Kumar, Amrith; Shelley, Douglas
44,99 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.