Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Formal Methods: Theory and Practice
Imagen de archivo
Formal Methods: Theory and Practice
Publicado por
Alfred Waller, 1989
ISBN 10: 063201931X
ISBN 13: 9780632019311
Antiguo o usado
Tapa dura
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: Z1-J-009-01768
Comprar usado
EUR 178,48
Gastos de envío:
EUR 12,10
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles