Library of American University of Madaba Search for 'su:Integrated circuits and su:Verification'

Verification of systems and circuits using LOTOS, Petri Nets, and CCS /

By Yoeli, Michael,. Hoboken, N.J. : Wiley-Interscience, 2008 . xv, 231 p. : 25 cm.. 9780471704492 (cloth) | 0471704490 (cloth)

Berlin ; | New York : Springer, 2005 . xii, 412 p. : 24 cm.. 3540291059 (pbk.) | 9783540291053

By Mishra, Prabhat,. New York : Springer, 2005 . xviii, 180 p. : 24 cm.. 0387261435 (alk. paper) | 9780387261430