Книга Formal Methods and Models for System Design Rajesh Gupta

Formal Methods and Models for System Design

A System Level Perspective

Език: Английски език
Корици: С твърди корици
Наличност: 50% вероятност
Ще претърсим света
203.28 397.59 лв
Focuses on: formal frameworks for complex system modelling, such as system-on-chip, embedded softwar...

Информация за книгата

Език
Английски език
Корици
Книга - С твърди корици
Издадена
2004
страници
372
EAN
9781402080517
ISBN
9781402080517
Enbook ID
10779399
Теглоt
797
Размери
160 x 240 x 22

Пълно описание

Focuses on: formal frameworks for complex system modelling, such as system-on-chip, embedded software, component based systems; formal verification techniques, especially abstraction and refinement based methodologies; and behavioural type theory for system integration. This book is suitable as a graduate level text for a seminar based course.

Може също да ви хареса

Proton Beam Therapy

Santosh Yajnik
144.28 282.19 лв
13.49 26.39 лв

Hockey Drill Book

Dave Chambers
20.26 39.63 лв
14.44 28.25 лв
13.29 25.99 лв

Avril

Hilaire Belloc
32.56 63.67 лв
157.83 308.69 лв
19.66 38.45 лв
87.69 171.51 лв
55.78 109.10 лв
59.25 115.87 лв
20.46 40.03 лв
15.25 29.82 лв

dia en que llegaste

Dolores Brown
19.16 37.47 лв
13.19 25.80 лв
43.79 85.65 лв
28.84 56.41 лв

Queen's Weapons

Anne Bishop
8.17 15.98 лв
12.49 24.42 лв
22.87 44.73 лв

Клиенти, които купиха тази книга, купиха също

16.05 31.39 лв

Порядки любви

Б. Хеллингер
26.79 52.39 лв
32.66 63.87 лв

Das Rad der Zeit 9

Andreas Decker
19.16 37.47 лв
13.44 26.29 лв

Wie man Mikroben auf Reisen schickt

Katharina Kreuder-Sonnen
33.36 65.24 лв

Adn (Dna)

Wendy Conklin
12.04 23.54 лв
27.49 53.76 лв

Lieder von Walther von der Vogelweide

Walther Von Der Vogelweide
14.75 28.84 лв

Algoritmi

David Harel
56.84 111.16 лв
8.87 17.36 лв