Importe total (1 artículo artículos):
Destino del pedido:
protocol specification testing verification (96 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (96)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
Más atributos
- Primera edición (1)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (4)
- Con imágenes (31)
- No impresión bajo demanda (71)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Protocol Specification, Testing and Verification VIII: International Workshop Proceedings (I F I P W G 61 International Workshop on Protocol . Specification, Testing, and Verification)
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 4,30
Convertir monedaEUR 5,50 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 9,80
Encuentre también Tapa dura
-
Protocol Specification, Testing, and Verification, V
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 4,17
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 10,17
Encuentre también Tapa dura
-
Protocol Specification, Testing, and Verification, X: Proceedings
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 7,73
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 13,73
Encuentre también Tapa dura
-
Protocol Specification, Testing and Verification: 1986 6th: International Workshop Proceedings.
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 6,00
Convertir monedaEUR 11,95 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPp. 440 Seiten Sehr gut erhalten. Fast neuwertig. Informatik Kybernetik 9780444701268 Sprache: Englisch Gewicht in Gramm: 734.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 17,95
Encuentre también Tapa dura
-
Protocol Specification, Testing, and Verification, VII: Proceedings of the Ifip Wg 6.1 Seventh International Conference on Protocol Specification, T: . Specification, Testing, and Verification)
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 8,00
Convertir monedaEUR 11,95 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPp. 272 Seiten Sehr gut erhalten. Fast neuwertig. Informatik Kybernetik 9780444702937 Sprache: Englisch Gewicht in Gramm: 758.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 19,95
Encuentre también Tapa dura
-
Protocol Specification, Testing, and Verification, IX
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 5,72
Convertir monedaEUR 21,07 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 26,79
Encuentre también Tapa dura
-
Protocol Specification, Testing, and Verification XI
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 5,72
Convertir monedaEUR 21,07 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 26,79
Encuentre también Tapa dura
-
Protocol Specification, Testing and Verification, IV
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 23,96
Convertir monedaEUR 4,67 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 28,63
Encuentre también Tapa dura
-
Protocol Specification, Testing, and Verification
Publicado por North-Holland Publishing Company, Amsterdam, The Netherlands, 1982
ISBN 10: 0444864814 ISBN 13: 9780444864819
Idioma: Inglés
Librería: SUNSET BOOKS 2, Newark, OH, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Original o primera edición
EUR 9,04
Convertir monedaEUR 41,26 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 50,30
Encuentre también Tapa dura Original o primera edición
-
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 55,80
Convertir monedaEUR 4,73 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 60,53
Encuentre también Tapa blanda
-
Protocol Specification, Testing and Verification XIV
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 55,80
Convertir monedaEUR 4,73 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 60,53
Encuentre también Tapa blanda
-
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
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 55,80
Convertir monedaEUR 4,73 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 60,53
Encuentre también Tapa blanda
-
Protocol Specification, Testing and Verification, XII
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 54,99
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: 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, XIII (IFIP Transactions C: Communication Systems)
Librería: Bookmonger.Ltd, HILLSIDE, NJ, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 57,88
Convertir monedaEUR 15,36 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Fine.
-
Protocol Specification, Testing and Verification, III
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 81,94
Convertir monedaEUR 29,69 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTextbook Binding. Condición: Very Good. Very GoodDust Jacket may NOT BE INCLUDED.CDs may be missing. book.
-
Protocol Specification, Testing And Verification Xiv
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 122,29
Convertir monedaGratis gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 122,29
Usado desde EUR 255,95
Encuentre también Tapa dura
-
Protocol Specification, Testing and Verification XIV (IFIP Advances in Information and Communication Technology)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 170,28
Convertir monedaEUR 4,73 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 155,65
Encuentre también Tapa blanda
-
Protocol Specification, Testing and Verification XV
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 168,37
Convertir monedaEUR 10,09 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 472.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 178,46
Usado desde EUR 381,93
Encuentre también Tapa dura
-
Formal Description Techniques and Protocol Specification, Testing and Verification
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 202,34
Convertir monedaEUR 10,09 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 580.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 199,56
Usado desde EUR 330,56
Encuentre también Tapa dura
-
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97
Publicado por Springer US, Springer US, 2013
ISBN 10: 1475752601 ISBN 13: 9781475752601
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 217,46
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 199,56
Encuentre también Tapa blanda
-
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
Publicado por Springer US, Springer US, 2013
ISBN 10: 1475752644 ISBN 13: 9781475752649
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 217,46
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 229,45
Encuentre también Tapa blanda
-
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 Novem
Publicado por Springer US, Springer US, 2013
ISBN 10: 1475752628 ISBN 13: 9781475752625
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 217,46
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies. Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France. Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 199,56
Encuentre también Tapa blanda
-
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)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 233,88
Convertir monedaEUR 4,73 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 238,61
Usado desde EUR 322,41
Encuentre también Tapa dura
-
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
Publicado por Springer US, Springer US, 2000
ISBN 10: 0792379683 ISBN 13: 9780792379683
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 223,11
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: 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.
