//]]>
Log in to Your Account
Library of American University of Madaba
Search
Library Catalog
Title
Author
Subject
ISBN
Series
Call Number
Lists
Advanced Search
|
Browse by author or subject
|
Tag Cloud
Your cart is empty.
Public Lists
No Public Lists
Log in to Create Your Own Lists
Normal View
MARC View
ISBD View
Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
by
Yoeli, Michael,
Authors:
Kol, Rakefet.
%
author
Series:
Wiley series on parallel and distributed computing
Published by :
Wiley-Interscience,
(Hoboken, N.J. :)
Physical details:
xv, 231 p. : ill. ; 25 cm.
ISBN:
0471704490
Subject(s):
Integrated circuits
%
Verification.
|
Computer software
%
Verification.
|
LOTOS (Computer program language)
|
Petri nets.
Year:
2008
Online Resources:
Publisher description
Contributor biographical information
Table of contents only
Tags from this library:
No tags from this library for this title.
Holdings ( 1 )
Title Notes
Comments ( 0 )
Item type
Location
Call Number
Status
Notes
Date Due
Book
AUM Main Library
621.381548 Y64 (
Browse Shelf
)
Available
JBC/2012/6152
Browsing AUM Main Library Shelves
Close Shelf Browser
621.381548 M675
An engineer's guide to automated testing of high-speed interfaces /
621.381548 M675
An engineer's guide to automated testing of high-speed interfaces /
621.381548 M675
An engineer's guide to automated testing of high-speed interfaces /
621.381548 Y64
Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
621.3815486 M217
Digital timing measurements from scopes and probes to timing jitter /
621.382
Speech Technology
Includes bibliographical references and index.
There are no comments for this item.
Log in to your account
to post a comment.
Print
Add to Your Cart
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Tweet
Save Record:
-- Choose Format --
BIBTEX
Dublin Core (XML)
MARCXML
MARC (non-Unicode/MARC-8)
MARC (Unicode/UTF-8)
MODS (XML)
RIS
Languages:
English |
العربية
There are no comments for this item.