skip to content
Computer Hardware Description Languages and Their Applications : proceedings of the IFIP WG 10.2 Seventh International Conference on Computer 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 Computer Hardware Description Languages and Their Applications, Tokyo, Japan, 29-31 August, 1985

Author: C J Koomen; Tõru Motooka
Publisher: Amsterdam [etc.] : North-Holland, cop. 1985.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

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

 

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
ISBN: 0444878262 9780444878267
OCLC Number: 751485739
Description: XXIX, 493 s. : il. ; 23 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.
Other Titles: Proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Computer Hardware Description Languages and Their Applications, Tokyo, Japan, 29-31 August, 1985
Responsibility: ed. 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/751485739> # Computer Hardware Description Languages and Their Applications : proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Computer Hardware Description Languages and Their Applications, Tokyo, Japan, 29-31 August, 1985
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "751485739" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/367852320#Place/amsterdam_etc> ; # Amsterdam etc.
   schema:alternateName "Proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Computer Hardware Description Languages and Their Applications, Tokyo, Japan, 29-31 August, 1985" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/108123769> ; # Tõru Motooka
   schema:contributor <http://viaf.org/viaf/109301709> ; # C. J. Koomen
   schema:copyrightYear "op." ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/367852320#Meeting/international_symposium_on_computer_hardware_description_languages_and_their_applications_7_1985_tokio> ; # International Symposium on Computer Hardware Description Languages and Their Applications (7 ; 1985 ; Tokio).
   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 Computer Hardware Description Languages and Their Applications, Tokyo, Japan, 29-31 August, 1985" ;
   schema:productID "751485739" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/751485739#PublicationEvent/amsterdam_etc_north_holland_cop_1985> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/367852320#Agent/north_holland> ; # North-Holland
   schema:workExample <http://worldcat.org/isbn/9780444878267> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/751485739> ;
    .


Related Entities

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

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

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

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

<http://www.worldcat.org/title/-/oclc/751485739>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/751485739> ; # Computer Hardware Description Languages and Their Applications : proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Computer Hardware Description Languages and Their Applications, Tokyo, Japan, 29-31 August, 1985
   schema:dateModified "2017-09-03" ;
   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.