Applied formal methods for correct VLSI design: proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | Undetermined |
| Published: |
Amsterdam
Elsevier
|
| Edition: | Participants ed. |
| Subjects: |
Staff View
MARC
| LEADER | 00000nam a2200000 ca4500 | ||
|---|---|---|---|
| 001 | BV009331908 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940401nuuuuuuuu |||| 10||| und d | ||
| 035 | |a (DE-599)BVBBV009331908 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 245 | 1 | 0 | |a Applied formal methods for correct VLSI design |b proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989 |c ed. by Luc J. M. Claesen |
| 250 | |a Participants ed. | ||
| 264 | 1 | |a Amsterdam |b Elsevier | |
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Schaltungsentwurf |0 (DE-588)4179389-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a VLSI |0 (DE-588)4117388-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a VLSI |0 (DE-588)4117388-0 |D s |
| 689 | 0 | 1 | |a Schaltungsentwurf |0 (DE-588)4179389-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Claesen, Luc J. |e Sonstige |4 oth | |
| 710 | 2 | |a Interuniversity Micro-Electronics Center (Löwen) |e Sonstige |0 (DE-588)5047943-X |4 oth | |
| 711 | 2 | |a International Workshop on Applied Formal Methods for Correct VLSI Design |d 1989 |c Houthalen |j Sonstige |0 (DE-588)1222143-0 |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-012494571 | ||
Record in the Search Index
| _version_ | 1804132382840717312 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV009331908 |
| ctrlnum | (DE-599)BVBBV009331908 |
| edition | Participants ed. |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01336nam a2200313 ca4500</leader><controlfield tag="001">BV009331908</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940401nuuuuuuuu |||| 10||| und d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009331908</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Applied formal methods for correct VLSI design</subfield><subfield code="b">proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989</subfield><subfield code="c">ed. by Luc J. M. Claesen</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Participants ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier</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="650" ind1="0" ind2="7"><subfield code="a">Schaltungsentwurf</subfield><subfield code="0">(DE-588)4179389-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Schaltungsentwurf</subfield><subfield code="0">(DE-588)4179389-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Claesen, Luc J.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Interuniversity Micro-Electronics Center (Löwen)</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)5047943-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Applied Formal Methods for Correct VLSI Design</subfield><subfield code="d">1989</subfield><subfield code="c">Houthalen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1222143-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012494571</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV009331908 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T19:51:56Z |
| institution | BVB |
| institution_GND | (DE-588)5047943-X (DE-588)1222143-0 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012494571 |
| open_access_boolean | |
| publishDateSort | 0000 |
| publisher | Elsevier |
| record_format | marc |
| spelling | Applied formal methods for correct VLSI design proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989 ed. by Luc J. M. Claesen Participants ed. Amsterdam Elsevier txt rdacontent n rdamedia nc rdacarrier Schaltungsentwurf (DE-588)4179389-4 gnd rswk-swf VLSI (DE-588)4117388-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content VLSI (DE-588)4117388-0 s Schaltungsentwurf (DE-588)4179389-4 s DE-604 Claesen, Luc J. Sonstige oth Interuniversity Micro-Electronics Center (Löwen) Sonstige (DE-588)5047943-X oth International Workshop on Applied Formal Methods for Correct VLSI Design 1989 Houthalen Sonstige (DE-588)1222143-0 oth |
| spellingShingle | Applied formal methods for correct VLSI design proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989 Schaltungsentwurf (DE-588)4179389-4 gnd VLSI (DE-588)4117388-0 gnd |
| subject_GND | (DE-588)4179389-4 (DE-588)4117388-0 (DE-588)1071861417 |
| title | Applied formal methods for correct VLSI design proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989 |
| title_auth | Applied formal methods for correct VLSI design proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989 |
| title_exact_search | Applied formal methods for correct VLSI design proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989 |
| title_full | Applied formal methods for correct VLSI design proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989 ed. by Luc J. M. Claesen |
| title_fullStr | Applied formal methods for correct VLSI design proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989 ed. by Luc J. M. Claesen |
| title_full_unstemmed | Applied formal methods for correct VLSI design proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989 ed. by Luc J. M. Claesen |
| title_short | Applied formal methods for correct VLSI design |
| title_sort | applied formal methods for correct vlsi design proceedings of the imec ifip international workshop on applied formal methods for correct vlsi design congress center hengelhoef houthalen belgium 13 16 november 1989 |
| title_sub | proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989 |
| topic | Schaltungsentwurf (DE-588)4179389-4 gnd VLSI (DE-588)4117388-0 gnd |
| topic_facet | Schaltungsentwurf VLSI Konferenzschrift |
| work_keys_str_mv | AT claesenlucj appliedformalmethodsforcorrectvlsidesignproceedingsoftheimecifipinternationalworkshoponappliedformalmethodsforcorrectvlsidesigncongresscenterhengelhoefhouthalenbelgium1316november1989 AT interuniversitymicroelectronicscenterlowen appliedformalmethodsforcorrectvlsidesignproceedingsoftheimecifipinternationalworkshoponappliedformalmethodsforcorrectvlsidesigncongresscenterhengelhoefhouthalenbelgium1316november1989 AT internationalworkshoponappliedformalmethodsforcorrectvlsidesignhouthalen appliedformalmethodsforcorrectvlsidesignproceedingsoftheimecifipinternationalworkshoponappliedformalmethodsforcorrectvlsidesigncongresscenterhengelhoefhouthalenbelgium1316november1989 |