Produktbild
Manuel (Hrsg.) Nunez

Formal Techniques for Networked and Distributed Systems - FORTE 2004

24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

Buch

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)

Versandfertig innerhalb 1-3 Werktagen

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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.