Assertion-Based Design - Harry D. Foster - Livres - Springer-Verlag New York Inc. - 9781441954626 - 5 novembre 2010
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 143,99

Commandé depuis un entrepôt distant

Livraison prévue 10 - 18 sept.
Recevez une notification pour les nouvelles sorties de Harry D. Foster

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

Également disponible en tant que :

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édias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 5 novembre 2010
ISBN13 9781441954626
Éditeurs Springer-Verlag New York Inc.
Pages 390
Dimensions 155 × 235 × 21 mm   ·   580 g
Langue et grammaire Anglais  

Plus par Harry D. Foster

Afficher tout

Plus d'ouvrages du même éditeur

Voir tous les Harry D. Foster ( par ex. Hardcover Book et Paperback Book )