Formal methods in circuit design / V Stavridou

Public ISBD Titre : Formal methods in circuit design Type de document : texte imprimé Auteurs : V Stavridou, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : 1993 Importance : 193P Présentation : ill Format : 24cmx17cm ISBN/ISSN/EAN : 978-0-521-44336-4 Langues : Anglais (eng) Langues originales : Anglais (eng) Catégories : Micro Informatique:01 Microsystèmes et micro-ordinateurs Mots-clés : introduction  requirements  case studies  the term rewriting approach  obje as hardware specification language  theorem proving with obje  obje case studies . Formal methods in circuit design [texte imprimé] / V Stavridou, Auteur . - Cambridge : Cambridge University Press, 1993 . - 193P : ill ; 24cmx17cm. ISBN : 978-0-521-44336-4 Langues : Anglais (eng) Langues originales : Anglais (eng) Catégories : Micro Informatique:01 Microsystèmes et micro-ordinateurs Mots-clés : introduction  requirements  case studies  the term rewriting approach  obje as hardware specification language  theorem proving with obje  obje case studies .

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	numéro d'inventaire	Cote	Support	Localisation	Section	Disponibilité
76850	24-01-0098	Livre	Bibliothèque IGCMO	Documentaires	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200