Formal specification and analysis of digital hardware circuits in LOTOS :: Ji He :: Dept. of Computing Science and Mathematics, University of Stirling 2000 :: OBNB, the Open British National Bibliography

Publication Data

Title Formal specification and analysis of digital hardware circuits in LOTOS
Author Ji He
Contributor
Publisher Dept. of Computing Science and Mathematics, University of Stirling
Publication date 2000
Publication location Stirling
Language English

Topics

Digital electronics
Integrated circuits :: Verification
LOTOS (Computer program language)

Catalogue Data

OBNB ID GBA102386
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 vii, 105 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Formal specification and analysis of digital hardware circuits in LOTOS by Ji He. Published by Dept. of Computing Science and Mathematics, University of Stirling in 2000. Publication and catalogue information, links to buy online and reader comments.