Verwandte Artikel zu Formal Techniques for Networked and Distributed Systems...
Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings: 5048 (Programming and Software Engineering) - Softcover
Inhaltsangabe
This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10-13, 2008. FORTE denotes a series of international wo- ing conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both - ries were united to FORTE/PSTV in 1996. In 2001 the conference changed the name to its current form. Recent conferences of this long series were held in Berlin (2003), Madrid(2004), Taipei(2005), Paris(2006), and Tallinn(2007). As in the previous year, FORTE 2008 was collocated with TESTCOM/ FATES 2008: the 20th IFIP International Conference on Testing of Com- nicating Systems (TESTCOM) and the 8th International Workshop on Formal Approaches to Testing of Software (FATES). The co-location of FORTE and TESTCOM/FATES fostered the collaboration between their communities. The commonspiritofboth conferenceswasunderpinnedby jointopening andclosing sessions, invited talks, as well as joint social events.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008.
The 19 revised full papers and 1 revised short paper presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed systems and applications. Special focus is put on ubiquitous, grid, and mobile computing systems, and also on the application of formal techniques to service oriented architectures as well as security issues in networked systems. The papers are organized in topical sections on abstraction, verification, specification framework, application, theory, and reliability of networked systems.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 28,82
Gratis für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Formal Techniques for Networked and Distributed Systems...
Beispielbild für diese ISBN
Formal Techniques for Networked and Distributed Systems ¿ FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Verlag:
Springer Berlin Heidelberg, 2008
ISBN 10: 3540688544
ISBN 13: 9783540688549
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 360 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 4450436/12
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Techniques for Networked and Distributed Systems- FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 200
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2008
ISBN 10: 3540688544
ISBN 13: 9783540688549
Gebraucht
Softcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-576-285
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Techniques For Networked And Distributed Systems- Forte 2008
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-268979
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formal Techniques For Networked And Distributed Systems- Forte 2008
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-1145
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Techniques For Networked And Distributed Systems- Forte 2008
Anbieter: SMASS Sellers, IRVING, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Bestandsnummer des Verkäufers ASNT3-1145
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Techniques for Networked and Distributed Systems - FORTE 2008
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 4898683
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Techniques for Networked and Distributed Systems - FORTE 2008
ISBN 10: 3540688544
ISBN 13: 9783540688549
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10¿13, 2008. FORTE denotes a series of international wo- ing conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both - ries were united to FORTE/PSTV in 1996. In 2001 the conference changed the name to its current form. Recent conferences of this long series were held in Berlin (2003), Madrid(2004), Taipei(2005), Paris(2006), and Tallinn(2007). As in the previous year, FORTE 2008 was collocated with TESTCOM/ FATES 2008: the 20th IFIP International Conference on Testing of Com- nicating Systems (TESTCOM) and the 8th International Workshop on Formal Approaches to Testing of Software (FATES). The co-location of FORTE and TESTCOM/FATES fostered the collaboration between their communities. The commonspiritofboth conferenceswasunderpinnedby jointopening andclosing sessions, invited talks, as well as joint social events.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch. Bestandsnummer des Verkäufers 9783540688549
Anzahl: 2 verfügbar
Foto des Verkäufers
Formal Techniques for Networked and Distributed Systems ¿ FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10-13, 2008. FORTE denotes a series of international wo- ing conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both - ries were united to FORTE/PSTV in 1996. In 2001 the conference changed the name to its current form. Recent conferences of this long series were held in Berlin (2003), Madrid(2004), Taipei(2005), Paris(2006), and Tallinn(2007). As in the previous year, FORTE 2008 was collocated with TESTCOM/ FATES 2008: the 20th IFIP International Conference on Testing of Com- nicating Systems (TESTCOM) and the 8th International Workshop on Formal Approaches to Testing of Software (FATES). The co-location of FORTE and TESTCOM/FATES fostered the collaboration between their communities. The commonspiritofboth conferenceswasunderpinnedby jointopening andclosing sessions, invited talks, as well as joint social events. Bestandsnummer des Verkäufers 9783540688549
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Techniques for Networked and Distributed Systems ¿ FORTE 2008
Verlag:
Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540688544
ISBN 13: 9783540688549
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10-13, 2008. FORTE denotes a series of international wo- ing conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both - ries were united to FORTE/PSTV in 1996. In 2001 the conference changed the name to its current form. Recent conferences of this long series were held in Berlin (2003), Madrid(2004), Taipei(2005), Paris(2006), and Tallinn(2007). As in the previous year, FORTE 2008 was collocated with TESTCOM/ FATES 2008: the 20th IFIP International Conference on Testing of Com- nicating Systems (TESTCOM) and the 8th International Workshop on Formal Approaches to Testing of Software (FATES). The co-location of FORTE and TESTCOM/FATES fostered the collaboration between their communities. The commonspiritofboth conferenceswasunderpinnedby jointopening andclosing sessions, invited talks, as well as joint social events. 360 pp. Englisch. Bestandsnummer des Verkäufers 9783540688549
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Techniques for Networked and Distributed Systems - FORTE 2008
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 360. Bestandsnummer des Verkäufers 18475543
Anzahl: 4 verfügbar