- 5 Risultati
prezzo più basso: € 41,50, prezzo più alto: € 53,49, prezzo medio: € 47,54
1
Theoretical Aspects of Computing - Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock
Ordina
da lehmanns.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock:

Theoretical Aspects of Computing - Prima edizione

2010, ISBN: 9783642148071

edizione con copertina flessibile

7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings, Buch, Softcover, The now well-established series of International Colloquia on Theoreti… Altro …

Costi di spedizione:Versand in 10-14 Tagen. (EUR 0.00)
Chiudere (X)
2
Ordina
da ZVAB.com
€ 46,11
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Cavalcanti, Ana, David Deharbe und Marie-Claude Gaudel:

Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings - edizione con copertina flessibile

2010, ISBN: 3642148077

[EAN: 9783642148071], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], LOGIC,ARITHMETIC OPERATIONS,XML,FORMAL DESC,COALGEBRA,LA,ANTS,TESTING,CSP,HIGH LEVEL PETRI NETS,FAULT TOL… Altro …

NOT NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
Chiudere (X)
3
Ordina
da buchfreund.de
€ 41,50
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Cavalcanti, Ana, David Deharbe und Marie-Claude Gaudel:
Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings 2010 - libri usati

2010

ISBN: 9783642148071

2010 Neubindung, Buchrücken leicht angestoßen und zerkratzt, Buchecken leicht angestossen 8305682/12 Versandkostenfreie Lieferung logic,arithmetic operations,XML,formal desc,coalgebra,LA,… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
Chiudere (X)
4
Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings - Cavalcanti, Ana, David Deharbe und Marie-Claude Gaudel
Ordina
da booklooker.de
€ 43,11
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Cavalcanti, Ana, David Deharbe und Marie-Claude Gaudel:
Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings - libri usati

2010, ISBN: 9783642148071

[PU: Springer Berlin], Neubindung, Buchrücken leicht angestoßen und zerkratzt, Buchecken leicht angestossen 8305682/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Ba… Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
Chiudere (X)
5
Theoretical Aspects of Computing - Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock
Ordina
da lehmanns.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock:
Theoretical Aspects of Computing - Prima edizione

2010, ISBN: 9783642148071

edizione con copertina flessibile

7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010

Costi di spedizione:Versand in 10-14 Tagen. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Theoretical Aspects of Computing
Autore:
Titolo:
ISBN:

3642148077


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.

Informazioni dettagliate del libro - Theoretical Aspects of Computing


EAN (ISBN-13): 9783642148071
ISBN (ISBN-10): 3642148077
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2010
Editore: Springer Berlin
397 Pagine
Peso: 0,623 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-06-16T08:08:26+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-07-08T22:36:23+02:00 (Zurich)
ISBN/EAN: 3642148077

ISBN - Stili di scrittura alternativi:
3-642-14807-7, 978-3-642-14807-1
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : cavalcanti, marie, david james, deharbe, grand paris, david claude, brazil series
Titolo del libro: brazil, norte, september, natal, aspects the novel, rio, international colloquium, 7th international

Dati dell'editore

Autore: Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock
Titolo: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Aspects of Computing - 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Editore: Springer; Springer Berlin
397 Pagine
Anno di pubblicazione: 2010-08-11
Berlin; Heidelberg; DE
Peso: 0,621 kg
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIII, 397 p. 60 illus.

BC; Theory of Computation; 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; Computation by Abstract Devices; Theory of Computation; 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.
< Per archiviare...