- 5 Ergebnisse
Kleinster Preis: € 2,21, größter Preis: € 58,10, Mittelwert: € 33,90
1
Formal Techniques for Networked and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings - Moshe Y. Vardi
Bestellen
bei AbeBooks.de
€ 58,10
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Moshe Y. Vardi:

Formal Techniques for Networked and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings - Taschenbuch

2002, ISBN: 3540001417

[EAN: 9783540001416], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE ALLGEMEINES; NETWORKING (EDV); NETZ DISTRIBUTED DATA PROCESSING; INFORMATIONSSYSTEM VERTEILTES SYSTEM; SYSTE… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Formal Techniques for Networked and Distributed Systems
Bestellen
bei Weltbild.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Formal Techniques for Networked and Distributed Systems - neues Buch

2002, ISBN: 3540001417

The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on Novemb… Mehr…

Nr. 24000742. Versandkosten:, 2-5 Werktage, DE. (EUR 0.00)
zuklappen (X)
3
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, . (Lecture Notes in Computer Science)
Bestellen
bei AbeBooks.co.uk
€ 2,21
Versand: € 9,891
Bestellen
Details beim Anbieter
gesponserter Link
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, . (Lecture Notes in Computer Science) - Taschenbuch

2002

ISBN: 3540001417

[EAN: 9783540001416], Nieuw boek, [SC: 9.89], [PU: Springer Berlin Heidelberg], Gebraucht - Wie neu sehr gut erhalten; Rechnung mit MwSt.; Bestellungen bis 15 Uhr werden am gleichen Werkt… Mehr…

NEW BOOK. Versandkosten: EUR 9.89 Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Germany [1047621] [Beoordeling: 5 (van 5)]
zuklappen (X)
4
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, . (Lecture Notes in Computer Science)
Bestellen
bei AbeBooks.de
€ 2,21
Versand: € 6,951
Bestellen
Details beim Anbieter
gesponserter Link
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, . (Lecture Notes in Computer Science) - Taschenbuch

2002, ISBN: 3540001417

[EAN: 9783540001416], Neubuch, [PU: Springer Berlin Heidelberg], Gebraucht - Wie neu sehr gut erhalten; Rechnung mit MwSt.; Bestellungen bis 15 Uhr werden am gleichen Werktag verschickt. … Mehr…

NEW BOOK. Versandkosten: EUR 6.95 Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Germany [1047621] [Rating: 5 (von 5)]
zuklappen (X)
5
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Formal Techniques for Networked and Distributed Systems - FORTE 2002 - Taschenbuch

2002, ISBN: 9783540001416

*Formal Techniques for Networked and Distributed Systems - FORTE 2002* - 22nd IFIP WG 6. 1 International Conference Houston Texas USA November 11-14 2002 Proceedings. Auflage 2002 / Tasch… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
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 2002
Autor:
Titel:
ISBN-Nummer:

9783540001416


This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002.The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems.

Detailangaben zum Buch - Formal Techniques for Networked and Distributed Systems - FORTE 2002


EAN (ISBN-13): 9783540001416
ISBN (ISBN-10): 3540001417
Taschenbuch
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg
388 Seiten
Gewicht: 0,585 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-28T10:08:01+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-17T10:20:56+02:00 (Berlin)
ISBN/EAN: 9783540001416

ISBN - alternative Schreibweisen:
3-540-00141-7, 978-3-540-00141-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: langbein dieter, doron, vard, peled
Titel des Buches: distributed systems, ifip, forte, november 2002, lecture notes computer science, notes for, computer techniques for, texas

Daten vom Verlag:

Autor/in: Doron A. Peled; Moshe Y. Vardi
Titel: Lecture Notes in Computer Science; Formal Techniques for Networked and Distributed Systems - FORTE 2002 - 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
Verlag: Springer; Springer Berlin
374 Seiten
Erscheinungsjahr: 2002-10-28
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 374 p.

BC; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Communication Protocols; Communication Services; Computer Communication; Concurrent Systems; Distributed Computing; Formal Methods; Model Checking; Network Protocols; Networked Systems; Testing; Verification; distributed systems; formal specification; Computer Communication Networks; Software Engineering; Operating Systems; Computer Science Logic and Foundations of Programming; Software Engineering; Betriebssysteme; Theoretische Informatik; EA

Encoding PAMR into (Timed) EFSMs.- Submodule Construction for Specifications with Input Assumptions and Output Guarantees.- Congruent Weak Conformance, a Partial Order among Processes.- Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.- A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction.- Protocol Techniques for Testing Radiotherapy Accelerators.- System Test Synthesis from UML Models of Distributed Software.- Formal Test Purposes and the Validity of Test Cases.- Use of Logic to Describe Enhanced Communications Services.- A Formal Venture into Reliable Multicast Territory.- Modelling SIP Services Using Cress.- Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets.- Verifying Randomized Byzantine Agreement_.- Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning.- Visual Specifications for Modular Reasoning about Asynchronous Systems.- Bounded Model Checking for Timed Systems.- C Wolf - A Toolset for Extracting Models from C Programs.- NTIF: A General Symbolic Model for Communicating Sequential Processes with Data.- Building Tools for LOTOS Symbolic Semantics in Maude.- From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.- A Compositional Sweep-Line State Space Exploration Method.- On Combining the Persistent Sets Method with the Covering Steps Graph Method.- Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor.- Mechanical Translation of I/O Automaton Specifications into First-Order Logic.- Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams.- A Distributed Partial Order Reduction Algorithm.
Includes supplementary material: sn.pub/extras
< zum Archiv...