Order Total (1 Item Items):
Shipping Destination:
Protocol Specification Testing Verification (131 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (131)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (45)
- Not Print on Demand (104)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Protocol Specification, Testing, and Verification, V
Published by Amsterdam: North-Holland, 1986
ISBN 10: 0444878815 ISBN 13: 9780444878816
Language: English
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 544 pp., hardcover, ex library else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Protocol Specification, Testing, and Verification, X: Proceedings (I F I P W G 61 International Workshop on Protocol Specification, Testing, and Verification//Protocol . Specification, Testing, and Verification)
Published by Elsevier Science Publishing Company, 1990
ISBN 10: 0444888101 ISBN 13: 9780444888105
Language: English
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 416 pp., hardcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Protocol Specification, Testing, and Verification, IX
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 401 pp., hardcover, ex library, else text and binding still clean, tight and bright. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Protocol Specification, Testing, and Verification XI
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 365 pp., hardcover, ex library, else text and binding still clean, tight and bright. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Protocol Specification, Testing, and Verification
Published by North-Holland Publishing Company, Amsterdam, The Netherlands, 1982
ISBN 10: 0444864814 ISBN 13: 9780444864819
Language: English
First Edition
Hardcover. Condition: Good. No Jacket. 1st. 572pp, Wear, soil. Weight is 3 lb. W/full markings and pocket. Moisture top margin of first 50 pages. Size: 8vo. Ex-Library.
-
Protocol Specification, Testing and Verification: 1986 6th: International Workshop Proceedings.
Published by Elsevier Science Ltd, 1987
ISBN 10: 0444701265 ISBN 13: 9780444701268
Language: English
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
US$ 7.24
Convert currencyUS$ 17.51 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketPp. 440 Seiten Sehr gut erhalten. Fast neuwertig. Informatik Kybernetik 9780444701268 Sprache: Englisch Gewicht in Gramm: 734.
-
Protocol Specification, Testing, And Verification, VI
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 427 pp., hardcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Protocol Specification, Testing, and Verification, VII: Proceedings of the Ifip Wg 6.1 Seventh International Conference on Protocol Specification, T: . Specification, Testing, and Verification)
Published by Elsevier Science Ltd, 1987
ISBN 10: 0444702938 ISBN 13: 9780444702937
Language: English
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
US$ 9.65
Convert currencyUS$ 17.51 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketPp. 272 Seiten Sehr gut erhalten. Fast neuwertig. Informatik Kybernetik 9780444702937 Sprache: Englisch Gewicht in Gramm: 758.
-
Hardcover. Condition: Good. We are unable to ship to Canada at this time.Ex-Library hardcover in good condition with the usual markings, attachments and library wear. Except for library markings, interior clean and unmarked. Tight binding.
-
Protocol Specification, Testing, and Verification, VII: Proceedings of the Ifip Wg 6.1 Seventh International Conference on Protocol Specific
Published by Elsevier Science Ltd, 1987
ISBN 10: 0444702938 ISBN 13: 9780444702937
Language: English
US$ 8.43
Convert currencyUS$ 26.35 shipping from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1987. Tome 7. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1987. Volume 7. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Protocol Specification, Testing, and Verification XI: Proceedings
Published by Elsevier Science Ltd, 1991
ISBN 10: 0444892109 ISBN 13: 9780444892102
Language: English
US$ 8.43
Convert currencyUS$ 26.35 shipping from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
US$ 8.43
Convert currencyUS$ 26.35 shipping from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1990. Editeur différent. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1990. Different publisher. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Protocol Specification, Testing and Verification, XII
Published by Elsevier Science Ltd, 1992
ISBN 10: 0444898743 ISBN 13: 9780444898746
Language: English
US$ 8.43
Convert currencyUS$ 26.35 shipping from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Protocol Specification, Testing, and Verification, V
Published by Elsevier Science Ltd, 1986
ISBN 10: 0444878815 ISBN 13: 9780444878816
Language: English
US$ 15.06
Convert currencyUS$ 26.35 shipping from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Protocol Specification, Testing, and Verification, IX
Published by Elsevier Science Ltd, 1989
ISBN 10: 0444883436 ISBN 13: 9780444883438
Language: English
US$ 18.08
Convert currencyUS$ 26.35 shipping from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Couverture différente. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Different cover. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Protocol Specification, Testing, And Verification: Proceedings Of The Ifip Wg 6. 1 Second International Workshop On Protocol Specification, Testing, And Verification, Organized By Usc/Isi, Idyllwild, California, U. S. A., 17-20 May 1982
Published by Amsterdam ; North-Holland Pub. Co. ; 1982., 1982
ISBN 10: 0444864814 ISBN 13: 9780444864819
Hardcover. Condition: Good. Dust Jacket Condition: No Dustjacket. Later Edition. ISBN 0444864814. Hardback. No dustjacket; bound in blue boards with white lettering. TIGHT SOUND READING COPY ONLY. Ex-Library with the usual faults, card pocket, ink stamps, etc. Tight sound copy with average wear. No Signature.
-
Protocol Specification, Testing, and Verification, IX: International Workshop Proceedings: 1989 9th (I F I P W G 61 International Workshop on Protocol . Specification, Testing, and Verification)
Published by Elsevier Science Ltd, 1989
ISBN 10: 0444883436 ISBN 13: 9780444883438
Language: English
US$ 37.52
Convert currencyUS$ 28.10 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketGebundene Ausgabe. Condition: Gut. 402 Seiten Sofort verfügbar Versand am folgenden Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library aus Bibliothek Sprache: Englisch Gewicht in Gramm: 550.
-
Paperback. Condition: Fine.
-
Protocol Specification, Testing and Verification XIV
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 63.36
Convert currencyUS$ 16.15 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 63.36
Convert currencyUS$ 16.15 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International ... and Communication Protocols (FORTE XI) and P
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 63.36
Convert currencyUS$ 16.15 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Protocol Specification, Testing and Verification, IV
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
US$ 80.19
Convert currencyUS$ 14.35 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Protocol Specification, Testing and Verification
Published by Elsevier Science Ltd, 1982
ISBN 10: 0444864814 ISBN 13: 9780444864819
Language: English
US$ 110.75
Convert currencyUS$ 33.17 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1000grams, ISBN:0444864814.
-
US$ 152.46
Convert currencyFree shipping from Australia to U.S.A.Quantity: 1 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Condition: New.
-
Protocol Specification, Testing and Verification XIV (Paperback)
Published by Springer-Verlag New York Inc., New York, NY, 2013
ISBN 10: 1475763085 ISBN 13: 9781475763089
Language: English
Paperback. Condition: new. Paperback. 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). 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 TechA niques), IWPTS (International Workshop on Protocol Test Systems), ICNP (InternaA 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 techniA 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 page Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: New.
-
US$ 178.97
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
