skip to content
Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain Preview this item
ClosePreview this item
Checking...

Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain

Author: Carlos Delgado Kloos; Eduard Cerny
Publisher: London ; Weinheim : Chapman & Hall, ©1997.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Over the years Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors. This book presents the developments in this area and provides a  Read more...

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

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Carlos Delgado Kloos; Eduard Cerny
ISBN: 0412788101 9780412788109
OCLC Number: 37158677
Description: x, 350 p. : ill. ; 23 cm
Contents: Specification and design of reactive systems. Verification using model checking techniques. Formal characterizations of systems. Analog languages. Languages in design flows. Future trends in hardware design. Formal methods for aynchronous and distributed systems. VHDL. Index of contributors. Keyword index.
Responsibility: edited by Carlos Delgado Kloos and Eduard Cerny.

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/37158677> # Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "37158677" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/191592971#Place/weinheim> ; # Weinheim
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/191592971#Topic/langages_de_description_de_materiel_informatique> ; # Langages de description de matériel informatique
   schema:about <http://experiment.worldcat.org/entity/work/data/191592971#Topic/digital_electronics_data_processing> ; # Digital electronics--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/191592971#Topic/langages_de_description_de_materiel_informatique_congres> ; # Langages de description de matériel informatique--Congrès
   schema:about <http://dewey.info/class/621.392/e21/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh87005553> ; # Electronic digital computers--Design and construction--Data processing
   schema:about <http://id.worldcat.org/fast/907143> ; # Electronic digital computers--Design and construction--Data processing
   schema:about <http://id.worldcat.org/fast/893674> ; # Digital electronics--Data processing
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/191592971#Person/cerny_eduard> ; # Eduard Cerny
   schema:contributor <http://experiment.worldcat.org/entity/work/data/191592971#Person/delgado_kloos_carlos> ; # Carlos Delgado Kloos
   schema:copyrightYear "1997" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/191592971#Meeting/international_symposium_on_computer_hardware_description_languages_and_their_applications_13th_1997_toledo_spain> ; # International Symposium on Computer Hardware Description Languages and Their Applications (13th : 1997 : Toledo, Spain)
   schema:datePublished "1997" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/191592971> ;
   schema:genre "Conference papers and proceedings" ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:name "Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain" ;
   schema:numberOfPages "350" ;
   schema:productID "37158677" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/37158677#PublicationEvent/london_weinheim_chapman_&_hall_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/191592971#Agent/chapman_&_hall> ; # Chapman & Hall
   schema:workExample <http://worldcat.org/isbn/9780412788109> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/37158677> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/191592971#Meeting/international_symposium_on_computer_hardware_description_languages_and_their_applications_13th_1997_toledo_spain> # International Symposium on Computer Hardware Description Languages and Their Applications (13th : 1997 : Toledo, Spain)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/191592971#Place/toledo_spain> ; # Toledo, Spain)
   schema:name "International Symposium on Computer Hardware Description Languages and Their Applications (13th : 1997 : Toledo, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/191592971#Person/cerny_eduard> # Eduard Cerny
    a schema:Person ;
   schema:familyName "Cerny" ;
   schema:givenName "Eduard" ;
   schema:name "Eduard Cerny" ;
    .

<http://experiment.worldcat.org/entity/work/data/191592971#Person/delgado_kloos_carlos> # Carlos Delgado Kloos
    a schema:Person ;
   schema:familyName "Delgado Kloos" ;
   schema:givenName "Carlos" ;
   schema:name "Carlos Delgado Kloos" ;
    .

<http://experiment.worldcat.org/entity/work/data/191592971#Topic/langages_de_description_de_materiel_informatique> # Langages de description de matériel informatique
    a schema:Intangible ;
   schema:name "Langages de description de matériel informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/191592971#Topic/langages_de_description_de_materiel_informatique_congres> # Langages de description de matériel informatique--Congrès
    a schema:Intangible ;
   schema:name "Langages de description de matériel informatique--Congrès" ;
    .

<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" ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)" ;
    .

<http://id.worldcat.org/fast/893674> # Digital electronics--Data processing
    a schema:Intangible ;
   schema:name "Digital electronics--Data processing" ;
    .

<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" ;
    .

<http://worldcat.org/isbn/9780412788109>
    a schema:ProductModel ;
   schema:isbn "0412788101" ;
   schema:isbn "9780412788109" ;
    .

<http://www.worldcat.org/title/-/oclc/37158677>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/37158677> ; # Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
   schema:dateModified "2017-09-04" ;
   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.