The Resource Colloquium on "Automating Formal Methods for Computer Assisted Prototying [i.e. Prototyping]" : on Tuesday, 14 January 1992, organised by Professional Group C1 (Software Engineering)

Colloquium on "Automating Formal Methods for Computer Assisted Prototying [i.e. Prototyping]" : on Tuesday, 14 January 1992, organised by Professional Group C1 (Software Engineering)

Label
Colloquium on "Automating Formal Methods for Computer Assisted Prototying [i.e. Prototyping]" : on Tuesday, 14 January 1992
Title
Colloquium on "Automating Formal Methods for Computer Assisted Prototying [i.e. Prototyping]"
Title remainder
on Tuesday, 14 January 1992
Statement of responsibility
organised by Professional Group C1 (Software Engineering)
Title variation
Automating Formal Methods for Computer Assisted Prototyping, IEE Colloquium on
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
SCPER
Index
no index present
LC call number
QA76.76.P37
LC item number
C66 1992
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1992
http://bibfra.me/vocab/lite/meetingName
Colloquium on "Automating Formal Methods for Computer Assisted Prototyping"
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. 1992/008
http://library.link/vocab/subjectName
  • Computer software
  • Computer software
  • Computer software
  • Computer software
  • Computer software
  • Computer software
Label
Colloquium on "Automating Formal Methods for Computer Assisted Prototying [i.e. Prototyping]" : on Tuesday, 14 January 1992, organised by Professional Group C1 (Software Engineering)
Instantiates
Publication
Note
  • At head of title: Computing and Control Division
  • Cover title
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
326962832
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
(OCoLC)326962832
Label
Colloquium on "Automating Formal Methods for Computer Assisted Prototying [i.e. Prototyping]" : on Tuesday, 14 January 1992, organised by Professional Group C1 (Software Engineering)
Publication
Note
  • At head of title: Computing and Control Division
  • Cover title
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
326962832
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
(OCoLC)326962832

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...