Introduction to the Formal Design of Real Time Systems - Applied Computing - David Gray - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540761402 - 1998. gada 1. novembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 52,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 6. - 14. aug.
Saņemiet paziņojumus par jauniem David Gray izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1998. gada 1. novembris
Oriģinālā izdošanas datums 1997
ISBN13 9783540761402
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 461
Izmēri 156 × 234 × 24 mm   ·   662 g
Valoda Angļu  

Vairāk no David Gray

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus David Gray ( piem., CD , Paperback Book , Hardcover Book , LP un Book )