Abstraction mechanisms for hardware verification

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Melham, Thomas F. (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Cambridge 1987
Schriftenreihe:Computer Laboratory <Cambridge>: Technical report 106
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 cb4500
001 BV010408139
003 DE-604
005 00000000000000.0
007 t
008 951005s1987 |||| 00||| engod
035 |a (OCoLC)17472563 
035 |a (DE-599)BVBBV010408139 
040 |a DE-604  |b ger  |e rakddb 
041 0 |a eng 
100 1 |a Melham, Thomas F.  |e Verfasser  |4 aut 
245 1 0 |a Abstraction mechanisms for hardware verification 
264 1 |a Cambridge  |c 1987 
300 |a 23 S. 
336 |b txt  |2 rdacontent 
337 |b n  |2 rdamedia 
338 |b nc  |2 rdacarrier 
490 1 |a Computer Laboratory <Cambridge>: Technical report  |v 106 
650 7 |a Computer hardware  |2 sigle 
650 7 |a Computer software  |2 sigle 
650 4 |a Abstraction 
830 0 |a Computer Laboratory <Cambridge>: Technical report  |v 106  |w (DE-604)BV004055605  |9 106 
999 |a oai:aleph.bib-bvb.de:BVB01-006931294 

Datensatz im Suchindex

_version_ 1804124836219322368
any_adam_object
author Melham, Thomas F.
author_facet Melham, Thomas F.
author_role aut
author_sort Melham, Thomas F.
author_variant t f m tf tfm
building Verbundindex
bvnumber BV010408139
ctrlnum (OCoLC)17472563
(DE-599)BVBBV010408139
format Book
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00883nam a2200289 cb4500</leader><controlfield tag="001">BV010408139</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951005s1987 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)17472563</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010408139</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Melham, Thomas F.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Abstraction mechanisms for hardware verification</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">23 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Computer Laboratory &lt;Cambridge&gt;: Technical report</subfield><subfield code="v">106</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer hardware</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstraction</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Computer Laboratory &lt;Cambridge&gt;: Technical report</subfield><subfield code="v">106</subfield><subfield code="w">(DE-604)BV004055605</subfield><subfield code="9">106</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006931294</subfield></datafield></record></collection>
id DE-604.BV010408139
illustrated Not Illustrated
indexdate 2024-07-09T17:51:59Z
institution BVB
language English
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-006931294
oclc_num 17472563
open_access_boolean
physical 23 S.
publishDate 1987
publishDateSearch 1987
publishDateSort 1987
record_format marc
series Computer Laboratory <Cambridge>: Technical report
series2 Computer Laboratory <Cambridge>: Technical report
spelling Melham, Thomas F. Verfasser aut
Abstraction mechanisms for hardware verification
Cambridge 1987
23 S.
txt rdacontent
n rdamedia
nc rdacarrier
Computer Laboratory <Cambridge>: Technical report 106
Computer hardware sigle
Computer software sigle
Abstraction
Computer Laboratory <Cambridge>: Technical report 106 (DE-604)BV004055605 106
spellingShingle Melham, Thomas F.
Abstraction mechanisms for hardware verification
Computer Laboratory <Cambridge>: Technical report
Computer hardware sigle
Computer software sigle
Abstraction
title Abstraction mechanisms for hardware verification
title_auth Abstraction mechanisms for hardware verification
title_exact_search Abstraction mechanisms for hardware verification
title_full Abstraction mechanisms for hardware verification
title_fullStr Abstraction mechanisms for hardware verification
title_full_unstemmed Abstraction mechanisms for hardware verification
title_short Abstraction mechanisms for hardware verification
title_sort abstraction mechanisms for hardware verification
topic Computer hardware sigle
Computer software sigle
Abstraction
topic_facet Computer hardware
Computer software
Abstraction
volume_link (DE-604)BV004055605
work_keys_str_mv AT melhamthomasf abstractionmechanismsforhardwareverification