Artículos relacionados a Formal Description Techniques and Protocol Specification,...
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 (IFIP Advances in Information and Communication Technology) - Tapa dura
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación1997
- ISBN 10 0412820609
- ISBN 13 9780412820601
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas580
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 150,30
GRATIS gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Formal Description Techniques and Protocol Specification,...
Imagen de archivo
Formal Description Techniques And Protocol Specification,
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condició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. Nº de ref. del artículo: ABNR-144363
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Description Techniques And Protocol Specification,
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-91784
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Description Techniques and Protocol Specification, Testing and Verification
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Nº de ref. del artículo: 5915306
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
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
Condición: New. pp. 580. Nº de ref. del artículo: 26535184
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Description Techniques and Protocol Specification, Testing and Verification
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 580 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Nº de ref. del artículo: 8361295
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Description Techniques and Protocol Specification, Testing and Verification
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 580. Nº de ref. del artículo: 18535194
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97
Publicado por
Springer US, Springer US, 1997
ISBN 10: 0412820609
ISBN 13: 9780412820601
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. 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. Nº de ref. del artículo: 9780412820601
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 (IFIP Advances in Information and Communication Technology)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780412820601_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Description Techniques and Protocol Specification, Testing and Verification
Publicado por
Springer US, Springer US Okt 1997, 1997
ISBN 10: 0412820609
ISBN 13: 9780412820601
Nuevo
Tapa dura
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 580 pp. Englisch. Nº de ref. del artículo: 9780412820601
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 (IFIP Advances in Information and Communication Technology)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Feb2215580181235
Cantidad disponible: Más de 20 disponibles