skip to content
Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and their Applications : Tokyo, Japan, 29-31 August, 1985 Preview this item
ClosePreview this item
Checking...

Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and their Applications : Tokyo, Japan, 29-31 August, 1985

Author: C J Koomen; Tōru Motooka; IFIP Technical Committee 10.; IFIP Working Group 10.2.
Publisher: Amsterdam ; Oxford : North-Holland, 1985.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Conference publication
Document Type: Book
All Authors / Contributors: C J Koomen; Tōru Motooka; IFIP Technical Committee 10.; IFIP Working Group 10.2.
ISBN: 0444878262 9780444878267
OCLC Number: 15195770
Description: xxix, 493 pages : illustrations ; 24 cm
Contents: Keynote Speech (J. Darringer). Invited Paper: Testable Design and Design Language (K. Kinoshita). Specification 1 (Papers by: S. Dasgupta, J. Heinanen; G.C. Gopalakrishnan, D.R. Smith, M.K. Srivas; P. Amblard, P. Caspi, N. Halbwachs). Synthesis 1 (Papers by: S. Takagi; Y. Nakamura et al.; R. Bruck, B. Kleinjohann, F.J. Rammiq). Verification 1 (Papers by: N. Browne et al.; W. Grass, N. Schielow; M. Fujita, H. Tanaka, T. Moto-Oka). Specification 2 (Papers by: S. Gregory, R. Neely, G. Ringwood; M. Daniels, H.A. Hansson; H. Eveking). Simulation 1 (Papers by: J.W. Davidson; J.T. Hsieh, A.R. Plezzkun, M.K. Vernon). Tool Integration 1 (Papers by: G. Marechal, L.D.J. Eggermont; J. Mermet; D. Borrione, C. le Faou; S. Morpurgo et al.). CHDL (Papers by: M.R. Barbacci et al.; J.D. Morison; N.E. Peeling, T.L. Thorp; T. Hoshino, O. Karatsu, T. Nakashima). Tool Integration 2 (Papers by: D.W. Knaap, A.C. Parker; N.E. Peeling, J.D. Morison; C. Bellon et al.). Synthesis 2 (Papers by: T. Mano et al.; W. Rosenstiel). Verification 2 (Papers by: G.J. Milne; F.K. Hanna, N. Daeche; J. Herbert; G. Cabodi et al.). Simulation 2 (Papers by: S.Y.H. Su, B. Amini; T. Sasaki et al.). Author Index.
Responsibility: [organized by IFIP Technical Committee 10 and its Working Group 10.2] ; edited by C.J. Koomen, T. Moto-Oka.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/15195770> # Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and their Applications : Tokyo, Japan, 29-31 August, 1985
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "15195770" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/367852320#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/367852320#Place/oxford> ; # Oxford
   schema:about <http://experiment.worldcat.org/entity/work/data/367852320#Topic/arquitetura_de_computadores> ; # Arquitetura De Computadores
   schema:about <http://id.loc.gov/authorities/subjects/sh87005553> ; # Electronic digital computers--Design and construction--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/367852320#Topic/computacao_aplicada> ; # Computacao Aplicada
   schema:about <http://dewey.info/class/621.3920285/e19/> ;
   schema:about <http://id.worldcat.org/fast/907143> ; # Electronic digital computers--Design and construction--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/367852320#Thing/computers> ; # Computers
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/367852320#Organization/ifip_working_group_10_2> ; # IFIP Working Group 10.2.
   schema:contributor <http://viaf.org/viaf/109301709> ; # Cees-Jan Koomen
   schema:contributor <http://viaf.org/viaf/108123769> ; # Tōru Motooka
   schema:contributor <http://experiment.worldcat.org/entity/work/data/367852320#Organization/ifip_technical_committee_10> ; # IFIP Technical Committee 10.
   schema:creator <http://experiment.worldcat.org/entity/work/data/367852320#Meeting/international_symposium_on_computer_hardware_description_languages_and_their_applications_7th_1985_tokyo> ; # International Symposium on Computer Hardware Description Languages and Their Applications (7th : 1985 : Tokyo)
   schema:datePublished "1985" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/367852320> ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:name "Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and their Applications : Tokyo, Japan, 29-31 August, 1985"@en ;
   schema:productID "15195770" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/15195770#PublicationEvent/amsterdam_oxford_north_holland_1985> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/367852320#Agent/north_holland> ; # North-Holland
   schema:workExample <http://worldcat.org/isbn/9780444878267> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8706720> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/15195770> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/367852320#Meeting/international_symposium_on_computer_hardware_description_languages_and_their_applications_7th_1985_tokyo> # International Symposium on Computer Hardware Description Languages and Their Applications (7th : 1985 : Tokyo)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/367852320#Place/tokyo> ; # Tokyo)
   schema:name "International Symposium on Computer Hardware Description Languages and Their Applications (7th : 1985 : Tokyo)" ;
    .

<http://experiment.worldcat.org/entity/work/data/367852320#Organization/ifip_technical_committee_10> # IFIP Technical Committee 10.
    a schema:Organization ;
   schema:name "IFIP Technical Committee 10." ;
    .

<http://experiment.worldcat.org/entity/work/data/367852320#Organization/ifip_working_group_10_2> # IFIP Working Group 10.2.
    a schema:Organization ;
   schema:name "IFIP Working Group 10.2." ;
    .

<http://experiment.worldcat.org/entity/work/data/367852320#Topic/arquitetura_de_computadores> # Arquitetura De Computadores
    a schema:Intangible ;
   schema:name "Arquitetura De Computadores"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/367852320#Topic/computacao_aplicada> # Computacao Aplicada
    a schema:Intangible ;
   schema:name "Computacao Aplicada"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh87005553> # Electronic digital computers--Design and construction--Data processing
    a schema:Intangible ;
   schema:name "Electronic digital computers--Design and construction--Data processing"@en ;
    .

<http://id.worldcat.org/fast/907143> # Electronic digital computers--Design and construction--Data processing
    a schema:Intangible ;
   schema:name "Electronic digital computers--Design and construction--Data processing"@en ;
    .

<http://viaf.org/viaf/108123769> # Tōru Motooka
    a schema:Person ;
   schema:birthDate "1929" ;
   schema:familyName "Motooka" ;
   schema:givenName "Tōru" ;
   schema:name "Tōru Motooka" ;
    .

<http://viaf.org/viaf/109301709> # Cees-Jan Koomen
    a schema:Person ;
   schema:birthDate "1947" ;
   schema:familyName "Koomen" ;
   schema:givenName "Cees-Jan" ;
   schema:givenName "C. J." ;
   schema:name "Cees-Jan Koomen" ;
    .

<http://worldcat.org/isbn/9780444878267>
    a schema:ProductModel ;
   schema:isbn "0444878262" ;
   schema:isbn "9780444878267" ;
    .

<http://www.worldcat.org/title/-/oclc/15195770>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/15195770> ; # Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and their Applications : Tokyo, Japan, 29-31 August, 1985
   schema:dateModified "2017-09-01" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.