Coverart for item
The Resource Colloquium on "Formal and Semi-formal Methods for Digital Systems Design" : on Monday, 21 January 1991, organised by Professional Group C2 (Hardware and Systems Engineering)

Colloquium on "Formal and Semi-formal Methods for Digital Systems Design" : on Monday, 21 January 1991, organised by Professional Group C2 (Hardware and Systems Engineering)

Label
Colloquium on "Formal and Semi-formal Methods for Digital Systems Design" : on Monday, 21 January 1991
Title
Colloquium on "Formal and Semi-formal Methods for Digital Systems Design"
Title remainder
on Monday, 21 January 1991
Statement of responsibility
organised by Professional Group C2 (Hardware and Systems Engineering)
Title variation
  • Formal and Semi-Formal Methods for Digital Systems Design, IEE Colloquium on
  • Computing and Control Division Colloquium on "Formal and Semi-formal Methods for Digital Systems Design"
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
SCPER
Index
no index present
LC call number
TK7885.A1
LC item number
C66 1991
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1991
http://bibfra.me/vocab/lite/meetingName
Colloquium on "Formal and Semi-formal Methods for Digital Systems Design"
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Institution of Electrical Engineers
  • Institution of Electrical Engineers
Series statement
IEE colloquium
Series volume
digest no. 1991/014
http://library.link/vocab/subjectName
  • Electronic digital computers
  • System design
Label
Colloquium on "Formal and Semi-formal Methods for Digital Systems Design" : on Monday, 21 January 1991, organised by Professional Group C2 (Hardware and Systems Engineering)
Instantiates
Publication
Note
  • Cover title
  • At head of title: Computing and Control Division
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE326962756
Dimensions
unknown
Extent
1 online resource (1 volume (various pagings)).
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Sound
unknown sound
Specific material designation
remote
System control number
  • ocn326962756
  • (OCoLC)326962756
Label
Colloquium on "Formal and Semi-formal Methods for Digital Systems Design" : on Monday, 21 January 1991, organised by Professional Group C2 (Hardware and Systems Engineering)
Publication
Note
  • Cover title
  • At head of title: Computing and Control Division
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE326962756
Dimensions
unknown
Extent
1 online resource (1 volume (various pagings)).
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Sound
unknown sound
Specific material designation
remote
System control number
  • ocn326962756
  • (OCoLC)326962756

Library Locations

Processing Feedback ...