Order Total (1 Item Items):
Shipping Destination:
Protocol Specification Testing Verification (96 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (96)
- 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
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (4)
- Seller-Supplied Images (31)
- Not Print on Demand (71)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
£ 3.73
Convert currency£ 2.53 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Protocol Specification, Testing, and Verification, V
Published by Elsevier Science Ltd, 1986
ISBN 10: 0444878815 ISBN 13: 9780444878816
Language: English
£ 3.62
Convert currency£ 6.74 shipping from France to United KingdomQuantity: 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.
-
£ 6.70
Convert currency£ 6.74 shipping from France to United KingdomQuantity: 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: 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
£ 5.20
Convert currency£ 12.59 shipping from Germany to United KingdomQuantity: 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, IX
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
£ 4.82
Convert currency£ 13.31 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 9 (weekend SALE item)* 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
£ 4.82
Convert currency£ 13.31 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 9 (weekend SALE item)* 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, 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
£ 6.94
Convert currency£ 12.59 shipping from Germany to United KingdomQuantity: 1 available
Add to basketPp. 272 Seiten Sehr gut erhalten. Fast neuwertig. Informatik Kybernetik 9780444702937 Sprache: Englisch Gewicht in Gramm: 758.
-
Protocol Specification, Testing and Verification, IV
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: 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.
-
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
£ 7.61
Convert currency£ 34.75 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. 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.
More buying choices from other sellers on AbeBooks
Used offers from £ 42.36
Also find Hardcover First Edition
-
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
£ 45.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Protocol Specification, Testing and Verification XIV
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.62
Convert currencyFree shipping within United KingdomQuantity: 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
£ 45.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Protocol Specification, Testing and Verification, XII
Published by Elsevier Science Ltd, 1992
ISBN 10: 0444898743 ISBN 13: 9780444898746
Language: English
£ 47.70
Convert currency£ 6.74 shipping from France to United KingdomQuantity: 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.
-
£ 48.74
Convert currency£ 12.94 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Fine.
-
Textbook Binding. Condition: Very Good. Very GoodDust Jacket may NOT BE INCLUDED.CDs may be missing. book.
-
£ 102.99
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: 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.
More buying choices from other sellers on AbeBooks
New offers from £ 102.99
Used offers from £ 193
Also find Hardcover
-
Protocol Specification, Testing and Verification XIV (IFIP Advances in Information and Communication Technology)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 139.22
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. pp. 472 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
More buying choices from other sellers on AbeBooks
New offers from £ 148.03
Used offers from £ 296
Also find Hardcover
-
£ 170.40
Convert currency£ 6.65 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. pp. 580.
More buying choices from other sellers on AbeBooks
New offers from £ 177.05
Used offers from £ 254
Also find Hardcover
-
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International ... Information and Communication Technology, 6)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 191.22
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from £ 191.22
Used offers from £ 253.52
Also find Hardcover
-
Formal Description Techniques and Protocol Specification, Testing and Verification (IFIP Advances in Information and Communication Technology)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 191.22
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 (IFIP Advances in Information and Communication Technology)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 191.22
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13
Published by Springer US, Springer US, 2013
ISBN 10: 1475752644 ISBN 13: 9781475752649
Language: English
£ 188.63
Convert currency£ 11.78 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --'Fonna! Methods Implementation Under Test' --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM's), with their conflicts between evangelistic and agnostic attitudes, with their over optimistic applications to toy examples and over-skeptical views about scalability to industrial cases, with their misconceptions and myths . . . , all this is essentially over. Many FM's have successfully reached their maturity, having been 'implemented' into concrete development practice: a number of papers in this book report about successful experiences in specifYing and verifYing real distributed systems and protocols. Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy. A total of 63 papers have been submitted to FORTEIPSTV 2000, out of which the Programme Committee has selected 22 for presentation at the Conference and inclusion in the Proceedings.
-
Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13
Published by Springer US, Springer US, 2000
ISBN 10: 0792379683 ISBN 13: 9780792379683
Language: English
£ 193.53
Convert currency£ 11.78 shipping from Germany to United KingdomQuantity: 1 available
Add to basketBuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --'Fonna! Methods Implementation Under Test' --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM's), with their conflicts between evangelistic and agnostic attitudes, with their over optimistic applications to toy examples and over-skeptical views about scalability to industrial cases, with their misconceptions and myths . . . , all this is essentially over. Many FM's have successfully reached their maturity, having been 'implemented' into concrete development practice: a number of papers in this book report about successful experiences in specifYing and verifYing real distributed systems and protocols. Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy. A total of 63 papers have been submitted to FORTEIPSTV 2000, out of which the Programme Committee has selected 22 for presentation at the Conference and inclusion in the Proceedings.
