Articoli correlati a Formal Description Techniques and Protocol Specification,...
Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv XVII 97 - Rilegato
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti:
Invited talk I: network and application for new generation. Testing theory for concurrent systems. MSC and ODP. LOTOS and extension. Verification technique. Conformance testing. Invited talk II: the future information technology and its impact to the society. Real time systems. Languages and applications. Industrial usage reports. Invited talk III: distributed object consistency. Concurrent systems.
Product Description:
Has wear
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreChapman & Hall
- Data di pubblicazione1997
- ISBN 10 0412820609
- ISBN 13 9780412820601
- RilegaturaCopertina rigida
- Numero di pagine580
- RedattoreMizuno Tadanori
Compra nuovo
Scopri di più su questo articolo
EUR 164,29
Spese di spedizione:
GRATIS
In U.S.A.
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Formal Description Techniques And Protocol Specification,
Da:
Valutazione libreria
Descrizione libro Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT23-340446
Compra nuovo
EUR 164,29
Convertire valuta
Foto dell'editore
Formal Description Techniques And Protocol Specification,
Da:
Valutazione libreria
Descrizione libro Condizione: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Codice articolo ABTR-294278
Compra nuovo
EUR 164,29
Convertire valuta
Foto dell'editore
Formal Description Techniques And Protocol Specification,
Da:
Valutazione libreria
Descrizione libro Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Codice articolo ABRR-294278
Compra nuovo
EUR 169,96
Convertire valuta
Immagini fornite dal venditore
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII â  97 (IFIP Advances in Information and Communication Technology) by Togashi, Atsushi, Mizuno, Tadanori, Shiratori, Norio, Higashino, Teruo [Hardcover ]
Da:
Valutazione libreria
Descrizione libro Hardcover. Condizione: new. Codice articolo 9780412820601
Compra nuovo
EUR 208,21
Convertire valuta
Foto dell'editore
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ?97 (IFIP Advances in Information and Communication Technology)
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo ABLIING23Feb2215580181235
Compra nuovo
EUR 222,10
Convertire valuta
Immagini fornite dal venditore
Formal Description Techniques and Protocol Specification, Testing and Verification
Editore:
Springer US
(1997)
ISBN 10: 0412820609
ISBN 13: 9780412820601
Nuovo
Rilegato
Quantità: > 20
Da:
Valutazione libreria
Descrizione libro Gebunden. Condizione: 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. Codice articolo 5915306
Compra nuovo
EUR 180,07
Convertire valuta
Foto dell'editore
Formal Description Techniques and Protocol Specification; Testing and Verification : FORTE X / PSTV XVII '97
Print on Demand
Da:
Valutazione libreria
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9780412820601_lsuk
Compra nuovo
EUR 226,46
Convertire valuta
Immagini fornite dal venditore
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII ¿97
Da:
Valutazione libreria
Descrizione libro Buch. Condizione: 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. Codice articolo 9780412820601
Compra nuovo
EUR 223,44
Convertire valuta
Immagini fornite dal venditore
Formal Description Techniques and Protocol Specification, Testing and Verification
Editore:
Springer US Okt 1997
(1997)
ISBN 10: 0412820609
ISBN 13: 9780412820601
Nuovo
Rilegato
Quantità: 2
Da:
Valutazione libreria
Descrizione libro Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 580 pp. Englisch. Codice articolo 9780412820601
Compra nuovo
EUR 266,43
Convertire valuta