Sinossi
This book is a self-contained exposition of formal (i. e. rigorous, mathematical) methods for the specification, analysis and verification of system design. Representative applications of these methods are given to software specification and communications standardisation. The book is aimed at practising design engineers, rather than at theoretical computer scientists.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Formal Methods: Theory and Practice
Foto dell'editore
Formal Methods: Theory and Practice
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-J-009-01768
Compra usato
EUR 178,48
Spese di spedizione:
EUR 12,10
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili