- 5 Résultats
prix le plus bas: € 31,89, prix le plus élevé: € 55,60, prix moyen: € 45,38
1
Formal Techniques for Networked and Distributed Systems – FORTE 2008
Commander
sur Springer.com
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Formal Techniques for Networked and Distributed Systems – FORTE 2008 - nouveau livre

2008, ISBN: 9783540688549

This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus … Plus…

Nr. 978-3-540-68854-9. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00)
fermer(X)
2
Formal Techniques for Networked and Distributed Systems ¿ FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings - Suzuki, Kenji (Herausgeber); El-Fakih, Khaled (Herausgeber); Yasumoto, Keiichi (Herausgeber); Higashino, Teruo (Herausgeber)
Commander
sur Achtung-Buecher.de
€ 55,60
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Suzuki, Kenji (Herausgeber); El-Fakih, Khaled (Herausgeber); Yasumoto, Keiichi (Herausgeber); Higashino, Teruo (Herausgeber):

Formal Techniques for Networked and Distributed Systems ¿ FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings - nouveau livre

2008, ISBN: 3540688544

2008 Kartoniert / Broschiert Networking (EDV), Netz (EDV), Distributed Data Processing, Informationssystem / Verteiltes System, Verteiltes System (EDV), Betriebssysteme, Software Engine… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fermer(X)
3
Commander
sur buchfreund.de
€ 31,89
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto:
Formal Techniques for Networked and Distributed Systems FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings 2008 - livre d'occasion

2008

ISBN: 9783540688549

2008 Neubindung, Buchrücken leicht angestossen 4450436/12 Versandkostenfreie Lieferung embedded, systems, graph, distributed, algorithm, concurrency, Erlang, authenticity, fuzz, testing… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
fermer(X)
4
Formal Techniques for Networked and Distributed Systems FORTE 2008
Commander
sur Hugendubel.de
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Formal Techniques for Networked and Distributed Systems FORTE 2008 - Livres de poche

2008, ISBN: 9783540688549

*Formal Techniques for Networked and Distributed Systems FORTE 2008* - 28th IFIP WG 6. 1 International Conference Tokyo Japan June 10-13 2008 Proceedings. Auflage 2008 / Taschenbuch für 5… Plus…

Frais d'envoiShipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
fermer(X)
5
Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceed - Suzuki, Kenji, Teruo Higashino und Keiichi Yasumoto
Commander
sur booklooker.de
€ 32,43
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Suzuki, Kenji, Teruo Higashino und Keiichi Yasumoto:
Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceed - livre d'occasion

2008, ISBN: 9783540688549

[PU: Springer Berlin], Neubindung, Buchrücken leicht angestossen 4450436/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2008, Banküberweisung, Kreditkarte, PayPal, Klarna-… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
fermer(X)
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
Formal Techniques for Networked and Distributed Systems FORTE 2008
Auteur:
Titre:
ISBN:

9783540688549


This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008. The 19 revised full papers and 1 revised short paper presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed systems and applications. Special focus is put on ubiquitous, grid, and mobile computing systems, and also on the application of formal techniques to service oriented architectures as well as security issues in networked systems. The papers are organized in topical sections on abstraction, verification, specification framework, application, theory, and reliability of networked systems.

Informations détaillées sur le livre - Formal Techniques for Networked and Distributed Systems FORTE 2008


EAN (ISBN-13): 9783540688549
ISBN (ISBN-10): 3540688544
Version reliée
Livre de poche
Date de parution: 2008
Editeur: Springer Berlin Heidelberg
341 Pages
Poids: 0,537 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2008-07-02T07:55:47+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-04-17T10:21:01+02:00 (Paris)
ISBN/EAN: 9783540688549

ISBN - Autres types d'écriture:
3-540-68854-4, 978-3-540-68854-9
Autres types d'écriture et termes associés:
Auteur du livre: higashi, kenji suzuki, khaled, angelika kipp, higashino, teruo higa
Titre du livre: distributed systems, forte, ifip, tokyo certain, here japan, suzuki

Données de l'éditeur

Auteur: Kenji Suzuki; Teruo Higashino; Keiichi Yasumoto; Khaled El-Fakih
Titre: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Techniques for Networked and Distributed Systems – FORTE 2008 - 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Editeur: Springer; Springer Berlin
344 Pages
Date de parution: 2008-05-27
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 344 p.

BC; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Erlang; authenticity; bisimulation; concurrency; distributed algorithm; distributed computing; distributed systems; embedded systems; exception handling; formal languages; formal method; fuzz testing; graph th; security; verification; Computer Communication Networks; Software Engineering; Operating Systems; Computer Science Logic and Foundations of Programming; Software Engineering; Betriebssysteme; Theoretische Informatik; EA

Invited Talk.- Model Generation for Horn Logic with Stratified Negation.- Abstraction.- Counterexample Guided Spotlight Abstraction Refinement.- An Experimental Evaluation of Probabilistic Simulation.- An SMT Approach to Bounded Reachability Analysis of Model Programs.- Verification.- Parameterized Tree Systems.- Adapting Petri Nets Reductions to Promela Specifications.- Verification of a Hierarchical Generic Mutual Exclusion Algorithm.- Specification Framework I.- Distributed Semantics and Implementation for Systems with Interaction and Priority.- Checking Correctness of Transactional Behaviors.- Specifying and Verifying Web Transactions.- Application.- Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets.- Program Repair Suggestions from Graphical State-Transition Specifications.- Verifying Erlang Telecommunication Systems with the Process Algebra ?CRL.- Specification Framework II.- NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements.- Timed Mobile Ambients for Network Protocols.- A Specification Framework for Earth-Friendly Logistics.- Theory.- A Hierarchy of Equivalences for Probabilistic Processes.- Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.- Reliability of Networked Systems.- Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning.- Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol.- Protocol Modeling with Model Program Composition.
< pour archiver...