- 5 Résultats
prix le plus bas: € 33,52, prix le plus élevé: € 54,99, prix moyen: € 46,55
1
Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings John S. Fitzgerald Edi
Commander
sur BarnesandNoble.com
€ 54,99
CommanderLien sponsorisé

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings John S. Fitzgerald Edi - nouveau livre

2008, ISBN: 9783540857617

Research on theoretical aspects of computing has a direct impact on the pr- tice of computer systems development. Over many decades, fundamental t- ories have emerged to describe function… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
2
Theoretical Aspects of Computing - ICTAC 2008
Commander
sur Springer.com
€ 53,49
Envoi: € 0,001
CommanderLien sponsorisé

ICTAC 2008:

Theoretical Aspects of Computing - nouveau livre

2008, ISBN: 9783540857617

Research on theoretical aspects of computing has a direct impact on the pr- tice of computer systems development. Over many decades, fundamental t- ories have emerged to describe function… Plus…

Nr. 978-3-540-85761-7. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00)
3
Commander
sur ZVAB.com
€ 33,52
Envoi: € 0,001
CommanderLien sponsorisé
Fitzgerald, John S., Anne E. Haxthausen und Husnu Yenigun:
Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings - Livres de poche

2008

ISBN: 3540857613

[EAN: 9783540857617], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], PROGRAMMING,PROGRAMMING LANGUAGE,ALGORITHM ANALYSIS AND PROBLEM COMPLEXITY,SOFTWARE ARCHITECTURE,SIMULATI… Plus…

NOT NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
4
Commander
sur AbeBooks.de
€ 37,24
Envoi: € 0,001
CommanderLien sponsorisé
Fitzgerald, John S., Anne E. Haxthausen und Husnu Yenigun:
Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings - Livres de poche

2008, ISBN: 3540857613

[EAN: 9783540857617], Gebraucht, guter Zustand, [PU: Springer Berlin], PROGRAMMING,PROGRAMMING LANGUAGE,ALGORITHM ANALYSIS AND PROBLEM COMPLEXITY,SOFTWARE ARCHITECTURE,SIMULATION,MODELING… Plus…

NOT NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
5
Theoretical Aspects of Computing - ICTAC 2008
Commander
sur Hugendubel.de
€ 53,49
Envoi: € 0,001
CommanderLien sponsorisé
Theoretical Aspects of Computing - ICTAC 2008 - Livres de poche

2008, ISBN: 9783540857617

*Theoretical Aspects of Computing - ICTAC 2008* - 5th International Colloquium Istanbul Turkey September 1-3 2008 Proceedings. Auflage 2008 / Taschenbuch für 53.49 € / Aus dem Bereich: Bü… Plus…

Frais d'envoiShipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Theoretical Aspects of Computing - ICTAC 2008

This book constitutes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008 held in Istanbul, Turkey in September 2008. The 27 revised full papers were carefully reviewed and selected from over 70 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development.

Informations détaillées sur le livre - Theoretical Aspects of Computing - ICTAC 2008


EAN (ISBN-13): 9783540857617
ISBN (ISBN-10): 3540857613
Version reliée
Livre de poche
Date de parution: 2008
Editeur: Springer Berlin Heidelberg
455 Pages
Poids: 0,707 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-12-05T00:04:43+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-02-13T15:43:22+01:00 (Paris)
ISBN/EAN: 3540857613

ISBN - Autres types d'écriture:
3-540-85761-3, 978-3-540-85761-7
Autres types d'écriture et termes associés:
Auteur du livre: haxthausen, fitzgerald john, hax, john tunis
Titre du livre: theoretical aspects computing ictac 2004, theoretical aspects computing ictac 2006, istanbul, lecture notes computer science, turkey was, türkey, lncs, aspects the novel, proceedings from 5th, international colloquium, drei, september 2008


Données de l'éditeur

Auteur: John S. Fitzgerald; Anne E. Haxthausen; Husnu Yenigun
Titre: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Aspects of Computing - ICTAC 2008 - 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
Editeur: Springer; Springer Berlin
455 Pages
Date de parution: 2008-08-18
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Poids: 0,718 kg
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XI, 455 p.

BC; Programming Techniques; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Informatik; Automat; automata; automata theory; formal language; formal languages; model checking; modeling; programming; programming language; real-time; semantics; simulation; software architecture; theorem proving; verification; algorithm analysis and problem complexity; Software Engineering/Programming and Operating Systems; Theory of Computation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Software Engineering; Programming Techniques; Software Engineering; Theory of Computation; Algorithms; Software Engineering; Theoretische Informatik; Algorithmen und Datenstrukturen; EA

Using Design Patterns in Formal Methods: An Event-B Approach.- A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules.- The Three Platonic Models of Divergence-Strict CSP.- Monotonic Abstraction in Action.- Non-interleaving Semantics with Causality for Nondeterministic Dataflow.- Symbolic Reachability for Process Algebras with Recursive Data Types.- Inclusion Test Algorithms for One-Unambiguous Regular Expressions.- Refinement of Kripke Models for Dynamics.- Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers.- A Theory of Pointers for the UTP.- Recasting Constraint Automata into Büchi Automata.- A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.- Towards Efficient Verification of Systems with Dynamic Process Creation.- An Observational Model for Transactional Calculus of Services Orchestration.- Everything Is PSPACE-Complete in Interaction Systems.- A New Approach for the Construction of Multiway Decision Graphs.- Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs.- Guided Test Generation from CSP Models.- Relaxing Goodness Is Still Good.- Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems.- Testing Concurrent Objects with Application-Specific Schedulers.- A Theory of Bounded Fair Scheduling.- Fair Exchange Is Incomparable to Consensus.- Automatic Generation of CSP || B Skeletons from xUML Models.- Bounded Model Checking for Partial Kripke Structures.- Verification of Linear Duration Invariants by Model Checking CTL Properties.- Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks.- Endomorphisms for Non-trivial Non-linear Loop Invariant Generation.- Instantiation for Parameterised Boolean Equation Systems.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783031177149 Theoretical Aspects of Computing ? ICTAC 2022 (Helmut Seidl; Zhiming Liu; Corina S. Pasareanu)


< pour archiver...