Kniha Formal Methods and Models for System Design Rajesh Gupta

Formal Methods and Models for System Design

A System Level Perspective

Jazyk: Angličtina
Väzba: Pevná
Dostupnosť: 50 % šanca
Prehľadáme celý svet
194.47
Focuses on: formal frameworks for complex system modelling, such as system-on-chip, embedded softwar...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2004
Stránok
372
EAN
9781402080517
ISBN
9781402080517
Enbook ID
10779399
Hmotnosť
797
Rozmery
160 x 240 x 22

Kompletný popis

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.

Mohlo by vás zaujímať

Proton Beam Therapy

Santosh Yajnik
136.77

Hockey Drill Book

Dave Chambers
19.03
13.33

Avril

Hilaire Belloc
30.90
13.53
18.73
52.68
12.84

dia en que llegaste

Dolores Brown
18.34
12.35
41.69

Queen's Weapons

Anne Bishop
7.64
11.67

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

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

Б. Хеллингер
25.31
15.10
31.19

Das Rad der Zeit 9

Andreas Decker
18.05

Wie man Mikroben auf Reisen schickt

Katharina Kreuder-Sonnen
31.78

Adn (Dna)

Wendy Conklin
10.69
25.99

Lieder von Walther von der Vogelweide

Walther Von Der Vogelweide
13.92

Algoritmi

David Harel
53.86