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…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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…
Weltbild.de Nr. 24000742. Versandkosten:, 2-5 Werktage, DE. (EUR 0.00) Details... |
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…
AbeBooks.co.uk Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Germany [1047621] [Beoordeling: 5 (van 5)] NEW BOOK. Versandkosten: EUR 9.89 Details... |
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…
AbeBooks.de Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Germany [1047621] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 6.95 Details... |
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…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
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…
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…
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…
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…
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…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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-25T11:21:01+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
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780306470035 Formal Techniques for Networked and Distributed Systems (Byoungmoon Chin; Sungwon Kang; Myungchul Kim; Danhyung Lee)
- 9780306470035 Formal Techniques for Networked and Distributed Systems (Byoungmoon Chin; Sungwon Kang; Myungchul Kim; Danhyung Lee)
- 9781475788259 Formal Techniques for Networked and Distributed Systems by Myungchul Myungchul Kim Paperback | Indigo Chapters (Myungchul Kim; Byoungmoon Chin; Sungwon Kang; Danhyung Lee)
- 9780792374701 Formal Techniques for Networked and Distributed Systems by Myungchul Myungchul Kim Hardcover | Indigo Chapters (Myungchul Kim; Byoungmoon Chin; Sungwon Kang; Danhyung Lee)
- Formal Techniques for Networked and Distributed Systems - FORTE 2007 (John Derrick & Jüri Vain)
< zum Archiv...