Record Details
 
  « New Search    
   
 
Bibliographic Data
Control NumberUPD-00105698338
Date and Time of Latest Transaction20090713103538.0
General Information070813s2008 njua b 001 0 eng
International Standard Book Number9780471704492
 0471704490
Cataloging SourceDENGII
Language Codeeng
Local Call NumberTK 7874.58 Y64 2008
Main Entry - Personal NameYoeli, Michael, 1917-
Title StatementVerification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol
Physical Descriptionxv, 231 p. : ill
Series Statement/Added Entry - TitleWiley series on parallel and distributed computing
Subject Added Entry - Topical TermIntegrated circuits -- Verification
 Computer software -- Verification
 LOTOS (Computer program language)
 Petri nets
Added Entry - Personal NameKol, Rakefet.
Textual Physical Form DesignatorBook
Collection CategoryFO
LocationUP DENG-II TK 7874.58 Y64 2008 E2000000915 Regular Circulation 2008 E2-698
FormatMonograph
 
     
 
Physical Location
University of the Philippines
Diliman: College of Engineering Library IITK 7874.58 / Y64 2008
 
     
 
Digital Copy
Not Available
 
     
 
         
         
Online Catalog
Basic Search
Advanced Search
Browse Subjects
Book Cart
 
         

Text Size:
S  -  M  -  L
Copyright © 2004-2024. Philippine eLib Project
Host: U.P. Diliman University Library