Assertion-Based Design - Harry D. Foster - Livros - Springer-Verlag New York Inc. - 9781441954626 - 5 de novembro de 2010

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 Softcover reprint of hardcover 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 11 - 19 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

Assertion-Based Design

Harry D. Foster

Softcover reprint of hardcover 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 Paperback Book (Livro de capa flexível e brochura)
Lançado	5 de novembro de 2010
ISBN13	9781441954626
Editoras	Springer-Verlag New York Inc.
Páginas	390
Dimensões	155 × 235 × 21 mm · 580 g
Idioma	Inglês