- 5 Ergebnisse
Kleinster Preis: € 42,79, größter Preis: € 79,99, Mittelwert: € 65,63
1
Theoretical Aspects of Computing - ICTAC 2006 - Kamel Barkaoui; Ana Cavalcanti; Antonio Cerone
Bestellen
bei Springer.com
CHF 64,19
(ca. € 58,67)
Bestellengesponserter Link
Kamel Barkaoui; Ana Cavalcanti; Antonio Cerone:

Theoretical Aspects of Computing - ICTAC 2006 - neues Buch

2006, ISBN: 9783540488163

The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, Tunisia, was the third of a series of events created by the InternationalInstituteforSoftwa… Mehr…

new in stock CH:::0.00 EUR. Versandkosten:zzgl. Versandkosten.
2
Theoretical Aspects of Computing - ICTAC 2006
Bestellen
bei Springer.com
€ 42,79
Versand: € 0,001
Bestellengesponserter Link

ICTAC 2006:

Theoretical Aspects of Computing - neues Buch

2006, ISBN: 9783540488163

The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, Tunisia, was the third of a series of events created by the InternationalInstituteforSoftwa… Mehr…

Nr. 978-3-540-48816-3. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
3
Theoretical Aspects of Computing - ICTAC 2006
Bestellen
bei eBook.de
€ 79,99
Versand: € 0,001
Bestellengesponserter Link
Theoretical Aspects of Computing - ICTAC 2006 - neues Buch

2006

ISBN: 9783540488163

Theoretical Aspects of Computing - ICTAC 2006 - Third International Colloquium Tunis Tunisia November 20-24 2006 Proceedings: ab 79.99 € eBooks > Fachthemen & Wissenschaft > Mathematik Sp… Mehr…

Versandkosten:in stock, , , DE. (EUR 0.00)
4
Bestellen
bei lehmanns.de
€ 79,16
Versand: € 0,001
Bestellengesponserter Link
Kamel Barkaoui; Ana Cavalcanti; Antonio Cerone:
Theoretical Aspects of Computing - ICTAC 2006 - neues Buch

2006, ISBN: 9783540488163

Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2006

Versandkosten:Download sofort lieferbar. (EUR 0.00)
5
Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings - Louis Oppenheimer
Bestellen
bei hive.co.uk
£ 57,79
(ca. € 67,52)
Bestellengesponserter Link
Louis Oppenheimer:
Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings - neues Buch

2006, ISBN: 9783540488163

; PDF; Computing > Computer science, Springer Berlin Heidelberg

No. 9783540488163. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.

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.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

Detailangaben zum Buch - Theoretical Aspects of Computing - ICTAC 2006


EAN (ISBN-13): 9783540488163
Erscheinungsjahr: 2006
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-04-21T03:20:09+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-07T13:39:53+01:00 (Vienna)
ISBN/EAN: 9783540488163

ISBN - alternative Schreibweisen:
978-3-540-48816-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: cavalcanti, oppenheimer, springer louis
Titel des Buches: colloquium international


Daten vom Verlag:

Autor/in: Kamel Barkaoui; Ana Cavalcanti; Antonio Cerone
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Theoretical Aspects of Computing - ICTAC 2006 - Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
Verlag: Springer; Springer Berlin
376 Seiten
Erscheinungsjahr: 2006-11-02
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVI, 376 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Isabelle; automata theory; concurrent systems; cooperative systems; formal language; formal languages; formal method; formal methods; logic; logical foundations; mobility; model checking; probabilistic methods; real-time; verification; C; Theory of Computation; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compilers and Interpreters; Software Engineering; Computer Science; Compiler und Übersetzer; Software Engineering; BC

Invited Papers.- Verifying a Hotel Key Card System.- Z/Eves and the Mondex Electronic Purse.- Verification Constraint Problems with Strengthening.- Semantics.- Quantitative ?-Calculus Analysis of Power Management in Wireless Networks.- Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa.- A Topological Approach of the Web Classification.- Concurrency.- Bisimulation Congruences in the Calculus of Looping Sequences.- Stronger Reduction Criteria for Local First Search.- A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.- A Petri Net Translation of ?-Calculus Terms.- Model Checking.- Handling Algebraic Properties in Automatic Analysis of Security Protocols.- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems.- Thread-Modular Verification Is Cartesian Abstract Interpretation.- Formal Languages.- Capture-Avoiding Substitution as a Nominal Algebra.- Prime Decomposition Problem for Several Kinds of Regular Codes.- A New Approach to Determinisation Using Bit-Parallelism.- Logic and Type Theory.- Proving ATL* Properties of Infinite-State Systems.- Type Safety for FJ and FGJ.- Partizan Games in Isabelle/HOLZF.- Proof-Producing Program Analysis.- Real-Time and Mobility.- Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting.- Interesting Properties of the Real-Time Conformance Relation tioco.- Model Checking Duration Calculus: A Practical Approach.- Spatio-temporal Model Checking for Mobile Real-Time Systems.- Tutorials: Extended Abstracts.- Tutorial on Formal Methods for Distributed and Cooperative Systems.- Decision Procedures for the Formal Analysis of Software.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783031177149 Theoretical Aspects of Computing ? ICTAC 2022 (Helmut Seidl; Zhiming Liu; Corina S. Pasareanu)


< zum Archiv...