- 5 Ergebnisse
Kleinster Preis: € 44,70, größter Preis: € 144,39, Mittelwert: € 85,16
1
Bestellen
bei booklooker.de
€ 79,90
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Wang, Farn:

Formal Techniques for Networked and Distributed Systems - FORTE 2005 / 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings / Farn Wang / Taschenbuch / Englisch - Taschenbuch

2005, ISBN: 9783540291893

[ED: Taschenbuch], [PU: Springer Berlin], FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the Inter… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
zuklappen (X)
2
Formal Techniques for Networked and Distributed Systems - FORTE 2005 by Farn Wang Paperback | Indigo Chapters
Bestellen
bei Indigo.ca
C$ 207,50
(ca. € 144,39)
Bestellen
Details und Versand
gesponserter Link
Formal Techniques for Networked and Distributed Systems - FORTE 2005 by Farn Wang Paperback | Indigo Chapters - neues Buch

2005, ISBN: 9783540291893

FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcess… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
3
Formal Techniques for Networked and Distributed Systems - FORTE 2005 / 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings / Farn Wang / Taschenbuch / Englisch - Wang, Farn
Bestellen
bei booklooker.de
€ 79,90
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Wang, Farn:
Formal Techniques for Networked and Distributed Systems - FORTE 2005 / 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings / Farn Wang / Taschenbuch / Englisch - Taschenbuch

2005

ISBN: 9783540291893

[ED: Taschenbuch], [PU: Springer Berlin], FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the Inter… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
zuklappen (X)
4
Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings | Farn Wang | Taschenbuch | Englisch - Wang, Farn
Bestellen
bei booklooker.de
€ 76,90
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Wang, Farn:
Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings | Farn Wang | Taschenbuch | Englisch - Taschenbuch

2005, ISBN: 9783540291893

[ED: Taschenbuch], [PU: Springer Berlin], FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the Inter… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
zuklappen (X)
5
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, ... Notes in Computer Science, 3731, Band 3731)
Bestellen
bei amazon.de
€ 44,70
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, ... Notes in Computer Science, 3731, Band 3731) - Taschenbuch

2010, ISBN: 9783540291893

Springer Berlin Heidelberg, Taschenbuch, Auflage: 2005, 572 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 0.8 kg, Datenbanken, Computer & I… Mehr…

Versandkosten:Gewöhnlich versandfertig in 3 bis 4 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) SerendipityBooksLtd
zuklappen (X)
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
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, ... Notes in Computer Science, 3731, Band 3731)
Autor:
Titel:
ISBN-Nummer:

354029189X


This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taipei, Taiwan, in October 2005. The 33 revised full papers and 6 short papers presented together with 3 keynote speeches were carefully reviewed and selected from 88 submissions. The papers cover all current aspects of formal methods for distributed systems and communication protocols such as formal description techniques (MSC, UML, Use cases, . . .), semantic foundations, model-checking, SAT-based techniques, process algebrae, abstractions, protocol testing, protocol verification, network synthesis, security system analysis, network robustness, embedded systems, communication protocols, and several promising new techniques.

Detailangaben zum Buch - Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, ... Notes in Computer Science, 3731, Band 3731)


EAN (ISBN-13): 9783540291893
ISBN (ISBN-10): 354029189X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2005
Herausgeber: Wang, Farn, Springer Berlin Heidelberg
558 Seiten
Gewicht: 0,863 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-14T02:18:21+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-25T14:18:37+02:00 (Berlin)
ISBN/EAN: 354029189X

ISBN - alternative Schreibweisen:
3-540-29189-X, 978-3-540-29189-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wang, heitmeyer, higashino
Titel des Buches: distributed systems, taipei, taiwan, forte, 2005, october, wang

Daten vom Verlag:

Autor/in: Farn Wang
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Techniques for Networked and Distributed Systems - FORTE 2005 - 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
Verlag: Springer; Springer Berlin
558 Seiten
Erscheinungsjahr: 2005-09-26
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 558 p.

BC; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Informatik; Bisimulation; automata; communication protocols; distributed computing; distributed systems; embedded systems; formal methods; formal specification; logic; model checking; modeling; network protocols; networked systems; programming; real-time; Computer Communication Networks; Software Engineering; Computer Science Logic and Foundations of Programming; Operating Systems; Software Engineering; Theoretische Informatik; Betriebssysteme; EA

KEYNOTE SPEECHES.- Ranking Abstraction as Companion to Predicate Abstraction.- Developing High Quality Software with Formal Methods: What Else Is Needed?.- A Testing Architecture for Designing High-Reliable MANET Protocols.- REGULAR PAPERS.- A Composition Operator for Systems with Active and Passive Actions.- A Formal Semantics of UML StateCharts by Means of Timed Petri Nets.- A Hierarchy of Implementable MSC Languages.- Combining Static Analysis and Model Checking for Systems Employing Commutative Functions.- Fast Generic Model-Checking for Data-Based Systems.- Logic and Model Checking for Hidden Markov Models.- Proving ??-Calculus Properties with SAT-Based Model Checking.- Ad Hoc Routing Protocol Verification Through Broadcast Abstraction.- Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol.- Thread Allocation Protocols for Distributed Real-Time and Embedded Systems.- A Petri Net View of Mobility.- Modular Verification of Petri Nets Properties: A Structure-Based Approach.- An Improved Conformance Testing Method.- Resolving Observability Problems in Distributed Test Architectures.- Automatic Generation of Conflict-Free IPsec Policies.- A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks.- Model Checking for Timed Statecharts.- Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis.- Modeling and Verification of Safety-Critical Systems Using Safecharts.- Structure Preserving Data Abstractions for Statecharts.- Amortised Bisimulations.- Proof Methodologies for Behavioural Equivalence in Dpi.- Deriving Non-determinism from Conjunction and Disjunction.- Abstract Operational Semantics for Use Case Maps.- ArchiTRIO: A UML-Compatible Language for ArchitecturalDescription and Its Formal Semantics.- Submodule Construction for Extended State Machine Models.- Towards Synchronizing Linear Collaborative Objects with Operational Transformation.- Designing Efficient Fail-Safe Multitolerant Systems.- Hierarchical Decision Diagrams to Exploit Model Structure.- Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks.- Formalising Web Services.- From Automata Networks to HMSCs: A Reverse Model Engineering Perspective.- Properties as Processes: Their Specification and Verification.- SHORT PAPERS.- Epoch Distance of the Random Waypoint Model in Mobile Ad Hoc Networks.- Automatic Partitioner for Behavior Level Distributed Logic Simulation.- Expressive Completeness of an Event-Pattern Reactive Programming Language.- Formalizing Interoperability Testing: Quiescence Management and Test Generation.- Formal Description of Mobile IPv6 Protocol.- Incremental Modeling Under Large-Scale Distributed Interaction.- The Inductive Approach to Strand Space.- Compositional Modelling and Verification of IPv6 Mobility.
< zum Archiv...