|
Books > Computing & IT > Computer communications & networking
|
Buy Now
Formal Techniques for Networked and Distributed Systems - FORTE 2003 - 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 (Paperback, 2003 ed.)
Loot Price: R1,651
Discovery Miles 16 510
|
|
|
Formal Techniques for Networked and Distributed Systems - FORTE 2003 - 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 (Paperback, 2003 ed.)
Series: Lecture Notes in Computer Science, 2767
Expected to ship within 10 - 15 working days
|
This volume contains the proceedings of FORTE 2003, the 23rd IFIP
TC 6/ WG 6.1 International Conference on Formal Techniques for
Networked and D- tributed Systems, held in Berlin, Germany,
September 29 October 2, 2003. FORTE denotes a series of
international working conferences on formal descr- tion techniques
(FDTs) applied to computer networks and distributed systems. The
conference series started in 1981 under the name PSTV. In 1988 a s-
ond series under the name FORTE was set up. Both series were united
to FORTE/PSTV in 1996. Two years ago the conference name was
changed to its current form. The last ?ve meetings of this long
conference series were held in Paris, France (1998), Beijing, China
(1999), Pisa, Italy (2000), Cheju Island, Korea (2001), and
Houston, USA (2002). The 23rd FORTE conference was especially
dedicated to the application of formal description techniques to
practice, especially in the Internet and c- munication domain. The
scope of the papers presented at FORTE 2003 covered the application
of formal techniques, timed automata, FDT-based design, v- i?cation
and testing of communication systems and distributed systems, and
the veri?cation of security protocols. In addition,
work-in-progress papers were presented which have been published in
a separate volume."
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
