Assertion-Based Design - Harry D. Foster - Libros - Springer-Verlag New York Inc. - 9781441954626 - 5 de noviembre de 2010
En caso de que portada y título no coincidan, el título será el correcto

Harry D. Foster
Assertion-Based Design Softcover reprint of hardcover 2nd ed. 2004 edition

Precio
$ 158,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 - 30 de jun.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 5 de noviembre de 2010
ISBN13 9781441954626
Editores Springer-Verlag New York Inc.
Páginas 390
Dimensiones 155 × 235 × 21 mm   ·   580 g
Lengua Inglés  

Mas por Harry D. Foster

Mostrar todo

Mere med samme udgiver

Ver todo de Harry D. Foster ( Ej. Hardcover Book y Paperback Book )