DaftarIsitemplate
 
Call Number
004 Int c
Title
Boolean and 2-adic numbers based techniques for verifying synchronous designs, (LNCS-Lecture Notes in Computer Science 1254) Hal 303
Author
Gerard Berry;
Publisher
Springer, 1997
Subject
Location