skip to content
Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems Preview this item
ClosePreview this item
Checking...

Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems

Author: Carlos Delgado Kloos; International Conference on Computer Hardware Description Languages and Their Applications (1997, Toledo)
Publisher: London [u.a.] : Chapman & Hall, 1997.
Edition/Format:   Print book : Conference publication : English : 1. edView 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 online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Toledo (1997)
Kongreß
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Carlos Delgado Kloos; International Conference on Computer Hardware Description Languages and Their Applications (1997, Toledo)
ISBN: 0412788101 9780412788109
OCLC Number: 634876997
Description: x, 350 S. : graph. Darst.
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: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain. Ed. by Carlos Delgado Kloos ...

Reviews

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

Tags

Be the first.

Similar Items

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/634876997> # Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "634876997" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/191592971#Place/london_u_a> ; # London u.a.
   schema:about <http://experiment.worldcat.org/entity/work/data/191592971#Topic/hardwarebeschreibungssprache> ; # Hardwarebeschreibungssprache
   schema:about <http://experiment.worldcat.org/entity/work/data/191592971#Topic/kongress> ; # Kongreß
   schema:bookEdition "1. ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/191592971#Person/delgado_kloos_carlos> ; # Carlos Delgado Kloos
   schema:contributor <http://viaf.org/viaf/148623232> ; # International Conference on Computer Hardware Description Languages and Their Applications (1997, Toledo)
   schema:datePublished "1997" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/191592971> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Toledo (1997)" ;
   schema:genre "Kongreß" ;
   schema:inLanguage "en" ;
   schema:name "Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems" ;
   schema:productID "634876997" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/634876997#PublicationEvent/london_u_a_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/634876997> ;
    .


Related Entities

<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/hardwarebeschreibungssprache> # Hardwarebeschreibungssprache
    a schema:Intangible ;
   schema:name "Hardwarebeschreibungssprache" ;
    .

<http://viaf.org/viaf/148623232> # International Conference on Computer Hardware Description Languages and Their Applications (1997, Toledo)
    a schema:Organization ;
   schema:name "International Conference on Computer Hardware Description Languages and Their Applications (1997, Toledo)" ;
    .

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

<http://www.worldcat.org/title/-/oclc/634876997>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/634876997> ; # Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems
   schema:dateModified "2017-09-02" ;
   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.