Assertion-Based Design - Harry D. Foster - Livros - Springer-Verlag New York Inc. - 9781402080272 - 19 de maio de 2004

Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

Harry D. Foster
Assertion-Based Design Harry D. Foster 2nd ed. 2004 edition

Name: Assertion-Based Design
Price: 144.99 EUR
Availability: OutOfStock
Author: Harry D. Foster

Preço

€ 144,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 16 - 24 de jun

O que dizem nossos clientes:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor

Melhor classificação na Trustpilot

Adicione à sua lista de desejos do iMusic

Também disponível como:

Paperback Book

Softcover reprint of the original 1st ed. 2003 edition

Softcover reprint of hardcover 2nd ed. 2004 edition

(2010) € 144,99

Assertion-Based Design

Harry D. Foster

2nd ed. 2004 edition

Chapter 3 Specifying RTL Properties 61 3. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 2 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3 3. 1 Immediate assertions 84 3. 3 System functions 95 3. 3 Assertions across simulation time slots 111 4.

390 pages, biography

Mídia	Livros Hardcover Book (Livro com lombada e capa dura)
Lançado	19 de maio de 2004
ISBN13	9781402080272
Editoras	Springer-Verlag New York Inc.
Páginas	390
Dimensões	163 × 241 × 28 mm · 820 g
Idioma	Inglês