Home
|
About
|
Membership
|
Register
|
Contact Us
|
Site Links
|
Site Map
|
Login
Record Details
«
New Search
Brief Record
Full Record
MARC Record
Bibliographic Data
Control Number
UPD-00105698338
Date and Time of Latest Transaction
20090713103538.0
General Information
070813s2008 njua b 001 0 eng
International Standard Book Number
9780471704492
0471704490
Cataloging Source
DENGII
Language Code
eng
Local Call Number
TK 7874.58 Y64 2008
Main Entry - Personal Name
Yoeli, Michael
, 1917-
Title Statement
Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol
Physical Description
xv, 231 p. : ill
Series Statement/Added Entry - Title
Wiley series on parallel and distributed computing
Subject Added Entry - Topical Term
Integrated circuits -- Verification
Computer software -- Verification
LOTOS (Computer program language)
Petri nets
Added Entry - Personal Name
Kol, Rakefet.
Textual Physical Form Designator
Book
Collection Category
FO
Location
UP DENG-II TK 7874.58 Y64 2008 E2000000915 Regular Circulation 2008 E2-698
Format
Monograph
Physical Location
University of the Philippines
Diliman: College of Engineering Library II
TK 7874.58 / Y64 2008
Digital Copy
Not Available
Add to Book Cart
|
Download MARC
Online Catalog
Basic Search
Advanced Search
Browse Subjects
Book Cart
Text Size:
S
-
M
-
L
Home
|
About
|
Membership
|
Register
|
Contact Us
|
Site Links
|
Site Map
|
Login
Copyright © 2004-2024. Philippine eLib Project
Host: U.P. Diliman University Library