Formal Techniques for Networked and Distributed Systems - FORTE 2004
24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
This volume contains the proceedings of the 24th IFIP TC 6/WG 6.1 Inter- tionalConference onFormalTechniquesfor Networkedand Distributed Systems (FORTE 2004),held in Madrid, Spain, September 27-30,2004.FORTE denotes a series of international working 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 series were united to FORTE/PSTV in 1996. Three years ago the conference name was changed to its current form. The last ?ve meetings of this well-established conference series were…
Mehr
CHF 115.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Frutos-Escrig, David De (Hrsg.)
- ISBN: 978-3-540-23252-0
- EAN: 9783540232520
- Produktnummer: 8663800
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2004
- Seitenangabe: 392 S.
- Masse: H23.5 cm x B15.5 cm x D2.1 cm 593 g
- Auflage: 2004
- Abbildungen: Paperback
- Gewicht: 593
10 weitere Werke von Manuel (Hrsg.) Nunez:
Bewertungen
Anmelden