Verification of systems and circuits using LOTOS, Petri Nets, and CCS (Record no. 34365)

MARC details
000 -LEADER
fixed length control field 01701nam a2200457 a 4500
001 - CONTROL NUMBER
control field EBC335732
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240120130548.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 070813s2008 njua sb 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
Canceled/invalid LC control number 2007033487
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBA806238
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Canceled/invalid control number 014493167
Source Uk
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9780471704492 (cloth)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 0471704490 (cloth)
035 ## - SYSTEM CONTROL NUMBER
System control number (MiAaPQ)EBC335732
035 ## - SYSTEM CONTROL NUMBER
System control number (Au-PeEL)EBL335732
035 ## - SYSTEM CONTROL NUMBER
System control number (CaPaEBR)ebr10296542
035 ## - SYSTEM CONTROL NUMBER
System control number (CaONFJC)MIL128467
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)476150439
040 ## - CATALOGING SOURCE
Original cataloging agency MiAaPQ
Transcribing agency MiAaPQ
Modifying agency MiAaPQ
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TK7874.58
Item number .Y64 2008
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.3815/48
Edition number 22
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Yoeli, Michael,
-- 1917-
245 10 - TITLE STATEMENT
Title Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Medium [electronic resource] /
Statement of responsibility, etc. by Michael Yoeli and Rakefet Kol.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Hoboken, N.J. :
Name of publisher, distributor, etc. Wiley-Interscience,
Date of publication, distribution, etc. c2008.
300 ## - PHYSICAL DESCRIPTION
Extent xv, 231 p. :
Other physical details ill.
490 1# - SERIES STATEMENT
Series statement Wiley series on parallel and distributed computing
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references and index.
533 ## - REPRODUCTION NOTE
Type of reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Integrated circuits
General subdivision Verification.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
General subdivision Verification.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element LOTOS (Computer program language)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Petri nets.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Kol, Rakefet.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element ProQuest (Firm)
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Wiley series on parallel and distributed computing.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=335732">https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=335732</a>
Public note Click to View

No items available.