Articoli correlati a Formal Description Techniques and Protocol Specification,...
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - Rilegato
Sinossi
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.
Compra nuovo
Visualizza questo articolo
EUR 151,42
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Formal Description Techniques and Protocol Specification,...
Foto dell'editore
Formal Description Techniques And Protocol Specification,
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-88489
Quantità: 1 disponibili
Foto dell'editore
Formal Description Techniques And Protocol Specification,
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo ABNR-144363
Quantità: 1 disponibili
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: ALLBOOKS1, Direk, SA, Australia
Valutazione del venditore 5 su 5 stelle
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Codice articolo SHAK88489
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Description Techniques and Protocol Specification, Testing and Verification
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
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
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Description Techniques and Protocol Specification, Testing and Verification
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 580. Codice articolo 26535184
Quantità: 1 disponibili
Foto dell'editore
Formal Description Techniques and Protocol Specification, Testing and Verification
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 580 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Codice articolo 8361295
Quantità: 1 disponibili
Foto dell'editore
Formal Description Techniques and Protocol Specification, Testing and Verification
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 580. Codice articolo 18535194
Quantità: 1 disponibili
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: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9780412820601
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Description Techniques and Protocol Specification, Testing and Verification : Forte X / Pstv XVII ?97
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 4971643-n
Quantità: 15 disponibili
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: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780412820601_new
Quantità: Più di 20 disponibili