Formal methods in circuit design / Victoria Stavridou

Public ISBD Titre : Formal methods in circuit design Type de document : texte imprimé Auteurs : Victoria Stavridou, Auteur Editeur : Cambridge : Cambridge University press Année de publication : 1993 Collection : Cambridge tracts in theoretical computer science Importance : 193 p. Présentation : ill., couv. ill. en coul. Format : 25 cm. ISBN/ISSN/EAN : 978-0-521-44336-4 Note générale : Bibliogr. p.171-190. Index. Langues : Anglais (eng) Index. décimale : 24-01-Microsystème et Micro-ordinateur Formal methods in circuit design [texte imprimé] / Victoria Stavridou, Auteur . - Cambridge : Cambridge University press, 1993 . - 193 p. : ill., couv. ill. en coul. ; 25 cm.. - (Cambridge tracts in theoretical computer science) . ISBN : 978-0-521-44336-4 Bibliogr. p.171-190. Index. Langues : Anglais (eng) Index. décimale : 24-01-Microsystème et Micro-ordinateur

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
76846	24-01-98	Livre	Bibliothèque de faculté d'informatique et mathématique	Informatique	Disponible

---

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