- 0 Ergebnisse
Kleinster Preis: € 74,89, größter Preis: € 113,71, Mittelwert: € 96,27
1
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedin
Bestellen
bei Indigo.ca
C$ 129,95
(ca. € 95,03)
Bestellen
gesponserter Link

Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedin - neues Buch

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… Mehr…

new in stock. Versandkosten:plus shipping costs., zzgl. Versandkosten
2
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Lecture Notes in Computer Science, 6255, Band 6255)
Bestellen
bei amazon.de
€ 110,26
Versand: € 3,001
Bestellen
gesponserter Link
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Lecture Notes in Computer Science, 6255, Band 6255) - Taschenbuch

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-… Mehr…

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
3
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings: 6255 (Lecture Notes in Computer Science, 6255)
Bestellen
bei amazon.co.uk
£ 72,72
(ca. € 87,44)
Versand: € 5,771
Bestellen
gesponserter Link
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings: 6255 (Lecture Notes in Computer Science, 6255) - Taschenbuch

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… Mehr…

Versandkosten:Usually dispatched within 6 to 10 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.77) Book Depository
4
Theoretical Aspects of Computing - Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock
Bestellen
bei lehmanns.de
€ 74,89
Versand: € 0,001
Bestellen
gesponserter Link
Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock:
Theoretical Aspects of Computing - Taschenbuch

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

Versandkosten:Titel z.Zt. nicht lieferbar. (EUR 0.00)
5
Bestellen
bei AbeBooks.de
CHF 118,07
(ca. € 113,71)
Versand: € 4,971
Bestellen
gesponserter Link
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Lecture Notes in Computer Science, 6255) - Taschenbuch

2010, ISBN: 3642148077

[EAN: 9783642148071], Neubuch, [PU: Springer], Books

NEW BOOK. Versandkosten: EUR 4.97 Ria Christie Collections, Uxbridge, United Kingdom [59718070] [Rating: 4 (von 5)]

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.
Details zum Buch
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedin

This book constitutes the refereed proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 held in Natal, Brazil, in September 2010. The 23 revised full papers presented with 2 invited papers and the abstract of 1 invited talk were carefully reviewed and selected from 68 submissions. The papers address all theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types.

Detailangaben zum Buch - 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
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
397 Seiten
Gewicht: 0,623 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-06-16T08:08:26+02:00 (Vienna)
Detailseite zuletzt geändert am 2022-04-14T04:28:25+02:00 (Vienna)
ISBN/EAN: 9783642148071

ISBN - alternative Schreibweisen:
3-642-14807-7, 978-3-642-14807-1


Daten vom Verlag:

Autor/in: Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock
Titel: 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
Verlag: Springer; Springer Berlin
397 Seiten
Erscheinungsjahr: 2010-08-11
Berlin; Heidelberg; DE
Sprache: Englisch
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.

< zum Archiv...