Filtruj wg
Filtruj według
Resetuj filtry

Data wydania

2004 rok - 2004 rok

Autor

Cena

375,00 zł - 376,00 zł

Czas dostawy

2 dni - 2 dni

Wydawnictwo

Filtruj według

Formal Techniques for...

Formal Techniques for Networked & Distributed Systems

Autor: D Frutos-Escrig
Data wydania: 2004
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 held in Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), Houston, USA (2002), and Berlin, Germany (2003).
375,90 zł