Hardcover. Addressing formal description techniques (FDTs) applicable to distributed systems and communication protocols, this work aims to present the theory, application, tools and industrialization of FDTs. Some of the topics covered include: FDT-based system and protocol engineering and implementation; corporate, strategic and financial consequences of FDT; use, protocol testing and synthesis; and performance modelling and analysis. This book should be of interest to computer scientists; engineers; professional and academic researchers involved in distributed systems and communication protocols; professionals in the telecommunications industry; and students and lecturers in computer science, engineering and telecommunications. 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). Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Codice articolo 9780412820601

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Formal Description Techniques and Protocol Specification, Testing and Verification (Hardcover)
Editore: Chapman and Hall, London
Data di pubblicazione: 1997
Lingua: Inglese
ISBN 10: 0412820609
ISBN 13: 9780412820601
Rilegatura: Hardcover
Condizione: new

Descrizione articolo

Riassunto

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.

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Visita la pagina della libreria

Informazioni sull?azienda del venditore

The Nile Group Pty Ltd
42 Apex Drive, Truganina, VIC, 3029, Australia

Condizioni di vendita e spedizione

Condizioni di vendita

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Diritto di recesso

Condizioni di spedizione

Please note that titles are dispatched from our UK and NZ warehouse. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 8-15 days.

Tariffe di spedizione da Australia a U.S.A.

Tariffe di spedizione da Australia a U.S.A.
Quantit� dell?ordine	Da 25 a 45 giorni lavorativi	Da 8 a 14 giorni lavorativi
Primo articolo	EUR 31.90	EUR 37.93

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.