.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Farn Wang
€ 136.44
FREE Delivery in Ireland
Description for Formal Techniques for Networked and Distributed Systems - FORTE 2005
Paperback. Constitutes the proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taiwan, in October 2005. These papers cover various aspects of formal methods for distributed systems and communication protocols. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 558 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 1760.
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series. The last ?ve me- ings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain). The ... Read more
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series. The last ?ve me- ings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain). The ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
558
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
558
Place of Publication
Berlin, Germany
ISBN
9783540291893
SKU
V9783540291893
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Techniques for Networked and Distributed Systems - FORTE 2005