- 5 resultados
menor preço: € 40.43, preço mais alto: € 57.66, preço médio: € 46.52
1
Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - Vain, Jüri (Herausgeber); Derrick, John (Herausgeber)
Encomendar
no/na Achtung-Buecher.de
€ 57.66
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Vain, Jüri (Herausgeber); Derrick, John (Herausgeber):

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - nuovo livro

2007, ISBN: 3540731954

2007 Kartoniert / Broschiert Petri-Netz, UML (EDV), Microsoft SharePoint (WebServices, Portal), Web Services (EDV), Betriebssysteme, Software Engineering, Theoretische Informatik, Quali… mais…

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fechar(X)
2
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
Encomendar
no/na booklooker.de
€ 40.43
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado

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) - Livro de bolso

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… mais…

Custos de envio:Versandkostenfrei. (EUR 0.00) NEPO UG
fechar(X)
3
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Encomendar
no/na Hugendubel.de
€ 53.49
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Formal Techniques for Networked and Distributed Systems - FORTE 2007 - Livro de bolso

2007

ISBN: 9783540731955

*Formal Techniques for Networked and Distributed Systems - FORTE 2007* - 27th IFIP WG 6. 1 International Conference Tallinn Estonia June 27-29 2007 Proceedings. Auflage 2007 / Taschenbuch… mais…

Custos de envio:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
fechar(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
Encomendar
no/na ZVAB.com
$ 44.11
(aproximadamente € 40.57)
Envio: € 26.191
Encomendar
Detalhes fornecedor
Link patrocinado
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) - Livro de bolso

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… mais…

NOT NEW BOOK. Custos de envio: EUR 26.19 NEPO UG, Rüsselsheim am Main, Germany [51070922] [Rating: 5 (von 5)]
fechar(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
Encomendar
no/na Achtung-Buecher.de
€ 40.43
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
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) - Livro de bolso

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,]

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Autor:
Título:
Número ISBN:

9783540731955


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.

Dados detalhados do livro - Formal Techniques for Networked and Distributed Systems - FORTE 2007


EAN (ISBN-13): 9783540731955
ISBN (ISBN-10): 3540731954
Livro de capa dura
Livro de bolso
Ano de publicação: 2007
Editor/Editora: Springer Berlin Heidelberg
375 Páginas
Peso: 0,600 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-10-14T11:23:04-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-04-17T05:20:56-03:00 (Sao Paulo)
Número ISBN/EAN: 9783540731955

Número ISBN - Ortografia alternativa:
3-540-73195-4, 978-3-540-73195-5
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: derrick, juri, jüri, vain
Título do livro: tallinn, distributed systems, forte, estonia 2007, about estonia, derrick, june june, computer techniques for

Dados da editora

Autor: John Derrick; Jüri Vain
Título: 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
Editora: Springer; Springer Berlin
378 Páginas
Ano de publicação: 2007-06-12
Berlin; Heidelberg; DE
Língua: Inglês
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.
< Para arquivar...