Formal Techniques for Networked and Distributed Systems - FORTE 2002
22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
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 November 11-14. This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of speci?cation, testing, and veri?cation of distributed systems and communication protocols. The main topics are: - FDT-based system and protocol engineering. - Semantical foundations. - Extensions of FDTs. - Formal approaches to concurrent/distributed object-oriented systems. - Real-time and probability…
Mehr
CHF 106.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Vardi, Moshe Y. (Hrsg.)
- ISBN: 978-3-540-36135-0
- EAN: 9783540361350
- Produktnummer: 37247600
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2003
- Seitenangabe: 374 S.
- Plattform: PDF
- Auflage: 2002
- Reihenbandnummer: 2529
12 weitere Werke von Doron A. (Hrsg.) Peled:
Bewertungen
Anmelden