Filter by
Filters
Clear filters

Publication date

2004 year - 2004 year

Author

Price

375.00 zł - 376.00 zł

Delivery time

2 days - 2 days

Publication form

Language

Publisher

Formal Techniques for...

Formal Techniques for Networked & Distributed Systems

Author: D Frutos-Escrig
Publishing date: 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ł