Formal Description Techniques VIII. Questo articolo non è disponibile.
Lingua: inglese
Editore: Springer, 1996
- Rilegato
- Nuovo
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Venditore con 5 stelle
Venditore AbeBooks dal 24 giugno 2016
Non disponibile
Rilegato
Condizione: Nuovo
EUR 180,66
Descrizione dell’articolo da parte del venditore
New. Delivery takes 25-30 days. Excellent Customer Service.
Codice articolo POD-50565
- Titolo
- Formal Description Techniques VIII
- Editore
- Springer
- Anno di pubblicazione
- 1996
- Condizione
- Brand New
- Rilegatura
- Rilegato
- Lingua
- inglese
- ISBN 10
- 041273270X
- ISBN 13
- 9780412732706
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Contenuti
Preface. Invited presentation. Design methodologies. Verification I. Algebraic languages. System specification and Z. Invited presentation. Industrial experiences. Applying formal methods. Tools and testing. Real-time and stochastic systems. Verification II. List of tools for demonstrations. Keyword index.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
Risultati della ricerca per Formal Description Techniques VIII
Ci sono altre 4 copie di questo libroVisualizza tutti i risultati