Articoli correlati a Protocol Specification, Testing and Verification
Sinossi
This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Preface. Committee members and invited speakers. List of referees. Specification and verification: time-dependent analysis. Invited paper. Specification of concurrent systems. Testing. Specification and verification: temporal approach. Validation and testing. Specification and analysis. Verification: model checking. Invited paper. High speed/multimedia. Towards implementation. Index of contributors. Keyword index.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 180,07
EUR 48,99 per la spedizione da Germania a U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Protocol Specification, Testing and Verification
Immagini fornite dal venditore
Protocol Specification, Testing and Verification XV
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification arran. Codice articolo 5915131
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Protocol Specification, Testing and Verification
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 676157-n
Quantità: Più di 20 disponibili
Foto dell'editore
Protocol Specification, Testing and Verification XV (Hardcover)
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing. This volume presents the latest research worldwide on communications protocols, emphasising specification and compliance testing. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780412716201
Quantità: 1 disponibili
Immagini fornite dal venditore
Protocol Specification, Testing and Verification
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 676157-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Protocol Specification, Testing and Verification XV
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing. 472 pp. Englisch. Codice articolo 9780412716201
Quantità: 2 disponibili
Foto dell'editore
Protocol Specification, Testing and Verification XV (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 ria9780412716201_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Protocol Specification, Testing and Verification XV
Editore:
Springer US, Springer US Nov 1995, 1995
ISBN 10: 0412716208
ISBN 13: 9780412716201
Nuovo
Rilegato
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Neuware -This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch. Codice articolo 9780412716201
Quantità: 2 disponibili
Immagini fornite dal venditore
Protocol Specification, Testing and Verification XV
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing. Codice articolo 9780412716201
Quantità: 1 disponibili
Foto dell'editore
Protocol Specification, Testing and Verification
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. Presents the research worldwide on communications protocols, emphasizing specification and compliance testing. This volume presents the proceedings of the fifteenth meeting on 'Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing. Editor(s): Dembinski, Piotr; Iredniawa, Marek. Series: IFIP Advances in Information and Communication Technology. Num Pages: 466 pages, black & white illustrations. BIC Classification: PHDS; UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 835. . 1995. Hardback. . . . . Codice articolo V9780412716201
Quantità: 15 disponibili
Immagini fornite dal venditore
Protocol Specification, Testing and Verification
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 676157
Quantità: Più di 20 disponibili