Hardware specification, verification and synthesis : mathematical aspects / M. Leeser, G. Brown, Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989

Auteur principal collectivité : Mathematical Sciences Institute workshop, 1989, AuteurAuteur secondaire : Leeser, Miriam, 1958- , Editeur scientifique • Brown, Geoffrey, 1960-, Editeur scientifiqueType de document : Livre numériqueCollection : Lecture notes in computer science, 408Langue : anglais.Éditeur : Berlin, New York : Springer-Verlag, 1990ISBN: 0387972269.ISSN: 0302-9743.Sujet MSC : 68-06, Proceedings, conferences, collections, etc. pertaining to computer science
68Q60, Computer science - Theory of computing, Specification and verification
68M01, Computer system organization, General theory of computer systemsEn-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.