Title: FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2004 (LNCS 3235)
Publisher: Springer
Publication Date: 2004
Language: English
ISBN 10: 3540232524
ISBN 13: 9783540232520
Binding: Soft cover
Condition: Brand New

About this title

Synopsis

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). The scope of the papers presented at FORTE 2004 covered semantic models and application of formal description languages (in particular, automata and Petri Nets), as well as the veri?cation and testing of communication and d- tributedsystems.Theconferencewasprecededby2half-daytutorialsbyRoberto GorrieriandFarnWang.Theproceedingscontainthe20regularpapersaccepted and presented at the conference. They were selected from 54 submitted papers inacarefulselectionprocedurebasedontheassessmentofthreerefereesforeach paper. The proceedings also include the papers contributed by the three invited speakers: Mart� ?n Abadi, Tommaso Bolognesi, and Juan Quemada.

"About this title" may belong to another edition of this title.

Store Description

Professional Book Seller offering fast shipping and hassle-free returns for every order. Our 100% satisfaction policy guarantees that you get the best product and the best service at the best price!

Visit Seller's Storefront

Seller's business information

Basi6 International LLC
1018 Camino Lago, Irving, TX, 75039, U.S.A.

Sale & Shipping Terms

Terms of Sale

Professional Book Seller shipping from Multiple Locations Worldwide for fastest delivery possible!

If you are a consumer you can cancel the contract in accordance with the following. Consumer means any natural person who is acting for purposes which are outside his trade, business, craft or profession.

INFORMATION REGARDING THE RIGHT OF CANCELLATION

Statutory Right to cancel

You have the right to cancel this contract within 14 days without giving any reason.

The cancellation period will expire af...

More Information

Shipping Terms

All orders shipped via FedEx or DHL and delivered to your doorstep within 3-5 days. We do not ship to P.O.Boxes and a proper street address must be provided to avoid any delays.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 0.00	US$ 0.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.