- 5 Résultats
prix le plus bas: € 40,43, prix le plus élevé: € 53,49, prix moyen: € 43,67
1
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP - John Derrick, Jüri Vain
Commander
sur ebay.de
€ 43,43
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
John Derrick, Jüri Vain:

Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP - Livres de poche

2007, ISBN: 9783540731955

ex Library Book / aus einer wissenschafltichen Bibliothek /. Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Esto… Plus…

99.6, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express. Frais d'envoiVersandkostenfrei, Versand zum Fixpreis, [SHT: Sparversand], 65*** Rüsselsheim am Main, [TO: Amerika, Europa, Asien, Australien] (EUR 0.00) nepomedien
fermer(X)
2
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Commander
sur Springer.com
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

FORTE 2007:

Formal Techniques for Networked and Distributed Systems - nouveau livre

2007, ISBN: 9783540731955

These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the… Plus…

Nr. 978-3-540-73195-5. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00)
fermer(X)
3
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) - BUCH - Derrick, John
Commander
sur booklooker.de
€ 40,43
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
BUCH - Derrick, John:
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) - Livres de poche

2020

ISBN: 9783540731955

[PU: Springer], 392 Seiten 23,1 x 16,5 x 2,0 cm, Taschenbuch ex Library Book / aus einer wissenschafltichen Bibliothek / Sofort verfügbar / daily shipping worldwide with invoice /, DE, [S… Plus…

Frais d'envoiVersandkostenfrei. (EUR 0.00) NEPO UG
fermer(X)
4
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) - Derrick, John
Commander
sur ZVAB.com
$ 44,11
(environ € 40,57)
Envoi: € 26,191
Commander
Détails du fournisseur
Lien sponsorisé
Derrick, John:
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) - Livres de poche

2007, ISBN: 3540731954

[EAN: 9783540731955], Gebraucht, guter Zustand, [SC: 26.19], [PU: Springer 20.07.2007.], BUCH, 392 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gew… Plus…

NOT NEW BOOK. Frais d'envoi EUR 26.19 NEPO UG, Rüsselsheim am Main, Germany [51070922] [Rating: 5 (von 5)]
fermer(X)
5
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) - Derrick, John
Commander
sur Achtung-Buecher.de
€ 40,43
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Derrick, John:
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) - Livres de poche

2020, ISBN: 3540731954

Auflage: 2007 23,1 x 16,5 x 2,0 cm, Taschenbuch 392 Seiten Taschenbuch ex Library Book / aus einer wissenschafltichen Bibliothek /, [KW:BUCH] 2, [PU:Springer,]

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main
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 2007
Auteur:
Titre:
ISBN:

3540731954


This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. The 22 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 67 submissions. The papers focus on service oriented computing and architectures using formalized and verified approaches. In addition to the classical protocol specification and verification problems, the issues of composition of protocol functions and of algorithms for distributed systems are addressed. The papers are organized in topical sections on message sequence charts and SDL, concurrency, model programs, theory, verification, model checking, requirements and QoS, as well as components.

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


EAN (ISBN-13): 9783540731955
ISBN (ISBN-10): 3540731954
Version reliée
Livre de poche
Date de parution: 2007
Editeur: Springer Berlin Heidelberg
375 Pages
Poids: 0,600 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-10-14T15:23:04+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-11-19T13:50:50+01:00 (Paris)
ISBN/EAN: 3540731954

ISBN - Autres types d'écriture:
3-540-73195-4, 978-3-540-73195-5
Autres types d'écriture et termes associés:
Auteur du livre: derrick, juri, jüri, vain
Titre du livre: tallinn, distributed systems, forte, estonia 2007, about estonia, derrick, june june, computer techniques for

Données de l'éditeur

Auteur: John Derrick; Jüri Vain
Titre: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Techniques for Networked and Distributed Systems - FORTE 2007 - 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Editeur: Springer; Springer Berlin
378 Pages
Date de parution: 2007-06-12
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 378 p.

BC; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Informatik; Quality of Service; Quality of Service (QoS); algorithm; algorithms; distributed systems; model checking; verification; Computer Communication Networks; Software Engineering; Computer Science Logic and Foundations of Programming; Operating Systems; Software Engineering; Theoretische Informatik; Betriebssysteme; EA

Invited Talk.- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification.- Technical Session 1. Message Sequence Charts and SDL.- Thread–Based Analysis of Sequence Diagrams.- Recovering Repetitive Sub-functions from Observations.- Specification of Timed EFSM Fault Models in SDL.- Technical Session 2. Concurrency.- Coordination Via Types in an Event-Based Framework.- Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation.- Towards Modal Logic Formalization of Role-Based Access Control with Object Classes.- Technical Session 3. Model Programs.- State Isomorphism in Model Programs with Abstract Data Structures.- Composition of Model Programs.- Technical Session 4. Theory.- New Bisimulation Semantics for Distributed Systems.- Event Correlation with Boxed Pomsets.- A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets.- Technical Session 5. Verification.- Improvements for the Symbolic Verification of Timed Automata.- The DHCP Failover Protocol: A Formal Perspective.- Verifying Erlang/OTP Components in ?CRL.- Technical Session 6. Model Checking.- Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.- Testing Distributed Systems Through Symbolic Model Checking.- An Incremental and Modular Technique for Checking LTL?X Properties of Petri Nets.- Technical Session 7. Requirements and QoS.- Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements.- Formalization of Network Quality-of-Service Requirements.- Technical Session 8. Components.- Robustness in Interaction Systems.- Transactional Reduction of Component Compositions.- Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.
< pour archiver...