Introduction to the Formal Design of Real Time Systems - Applied Computing - David Gray - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540761402 - 1 de noviembre de 1998
En caso de que portada y título no coincidan, el título será el correcto

David Gray
Introduction to the Formal Design of Real Time Systems - Applied Computing Softcover Reprint of the Original 1st Ed. 1999 edition

Precio
$ 54,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 - 30 de jun.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

The design of concurrent and real-time systems is difficult. It is even more difficult to design them correctly. Introduction to the Formal Design of Real Time Systems is based on the premise that in order to design things correctly it is necessary to thoroughly understand the design as it evolves from problem definition through to solution validation and, though the simplest way to maintain such an understanding is from within a formal mathematical framework, this will only be effective if the framework is simple to understand and easy to use. This book is based on courses given to undergraduate and masters students in Electrical Engineering, Information Technology and Computer Science, and backed by copious worked examples.

461 pages, 18 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de noviembre de 1998
Fecha de lanzamiento original 1997
ISBN13 9783540761402
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 461
Dimensiones 156 × 234 × 24 mm   ·   662 g
Lengua Inglés  

Mas por David Gray

Mostrar todo

Mere med samme udgiver

Ver todo de David Gray ( Ej. CD , Paperback Book , Hardcover Book , LP y Book )