Protocol Specification, Testing and Verification XIV - S.T. Vuong; Samuel T. Chanson; | Foyles Bookstore
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Protocol Specification, Testing and Verification XIV
Foyalty 462

Protocol Specification, Testing and Verification XIV (Hardback)

Usually despatched within 3 weeks.


This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices of IFIP W.G. 6.1, a Working Group dedicated to "Architectures and Protocols for Computer Networks". This is the oldest and most established symposium in the emerging field of protocol engineering which has spawn many international conferences including FORTE (International Conference on Formal Description Tech niques), IWPTS (International Workshop on Protocol Test Systems), ICNP (Interna tional Conference on Network Protocols) and CAY (Conference on Computer-Aided Verification). The main objective of this PSTV symposium is to provide a forum for researchers and practitioners in industry and academia interested in advances in using formal methods and methodologies to specify, develop, test and verify communication protocols and distributed systems. This year's PSTV symposium enjoys a nice mixture of formal methods and practical issues in network protocols through the invited addresses of three outstanding speakers, Ed Brinksma (University of Twente), Raj Jain (Ohio State University) and David Tennenhouse (MIT) as well as 5 tutorials, in addition to 9 techni cal sessions and two practical panel sessions. The 5 tutorials are offered on the first day in two parallel tracks for intensive exposure on hot topics of current interest. This year, out of 51 submissions the Program Committee selected 18 regular papers (with an allotment of 16 pages in the Proceedings) and 9 mini-papers (of 8 pages).

Computing & ITComputer networking & communicationsNetworking standards & protocolsScience & MathematicsPhysicsClassical mechanicsWave mechanics incl vibration & acoustics Publisher: Chapman and Hall Publication Date: 30/11/1994 ISBN-13: 9780412636400  Details: Type: Hardback Format: Books
Availability: Usually despatched within 3 weeks. Add to Basket

More books by S.T. Vuong

More books by Samuel T. Chanson

Leave Review

Our Christmas Last Posting Dates can be found here

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.


Location 1st Book Each additional book Average Delivery Time
Free UK Standard Delivery on Orders Over £25 (2nd Class)     3-5 Days
UK Standard Delivery (2nd Class) £2.99 £0.00 3-5 Days
UK 1st Class Delivery £3.99 £0.00 2-3 Days

Click & Collect / 
Delivery to a Foyles Bookshop


Free Free Click and Collect and Delivery to Store is available for all our shops. Collection times will vary depending on availability of items. Individual despatch times for each item will be given at checkout.
Please wait for order arrival confirmation email before making a journey to collect.
UK Courier* £7.95 £0.00 1 Working Day
Western Europe**Airmail £9.00 £1.00 7-8 Days
Rest of World Airmail*** £12.50 £1.00 7-10 Days

* For courier service please contact the Charing Cross Road store

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

*** We are currently unable to delivery to the following countries - Afghanistan, Bangladesh, Ghana, Iraq, Lebanon, Macao, Pakistan, Puerto Rico, Saint Barthelemy, Turkey, Uzbekistan, Virgin Island US

For goods delivered outside of the UK, the consignee (ie the person to whom the consignment is sent) will be the declarant and importer into the country for which the consignment is destined. The consignee will be responsible for both customs clearance and payment of customs duties and local taxes where required.

Customs Charges - if you are ordering goods for delivery outside of the UK, please note that your consignment may be subject to VAT (Value Added Tax), other taxes, customs duties and/or fees levied by the destination country. Any such charges levied in relation to customs clearance must be borne by you. It is accepted by you that Foyles has no control over additional charges in relation to customs clearance. Foyles recommend that you check with your local customs officials or post office for more information regarding importation taxes/duties that may be applicable to your online order.

Delivery Help & FAQs

A Year of Books Subscription Packages 

Delivery is free for the UK. Western Europe costs £60 for each 12 month subscription package purchased. For the Rest of the World the cost is £100 for each package purchased. All delivery costs are charged in advance at time of purchase. For more information please visit the A Year of Books page.

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Scattering of Waves: Applied Theory
D. N. Ghosh Roy
Sound Environment in Critical Care
Hui Xie
Acoustic Guitar Design
Richard Mark French
Wave Dynamics
Snehashish Chakraverty; Perumandla...
© W&G Foyle Ltd