skip to content
Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems; [13.] 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; [13.] IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain

Author: Carlos Delgado Kloos; International Conference on Computer Hardware Description Languages and Their Applications. <1997, Toledo>.; International Federation for Information Processing. Working Group Very Large Scale Integration.
Publisher: London ; Weinheim [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 in the library

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

Details

Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Carlos Delgado Kloos; International Conference on Computer Hardware Description Languages and Their Applications. <1997, Toledo>.; International Federation for Information Processing. Working Group Very Large Scale Integration.
ISBN: 0412788101 9780412788109
OCLC Number: 312897744
Notes: Includes index.
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: ed. by Carlos Delgado Kloos and Eduard Cerny.

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/312897744> # Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems; [13.] 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 "312897744" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/191592971#Place/weinheim_u_a> ; # Weinheim u.a.
   schema:about <http://dewey.info/class/621.392/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/191592971#Topic/computer_hardware_description_languages> ; # Computer hardware description languages
   schema:bookEdition "1. ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/191592971#Organization/international_federation_for_information_processing_working_group_very_large_scale_integration> ; # International Federation for Information Processing. Working Group Very Large Scale Integration.
   schema:contributor <http://viaf.org/viaf/148623232> ; # International Conference on Computer Hardware Description Languages and Their Applications. <1997, Toledo>.
   schema:datePublished "1997" ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/191592971#Person/delgado_kloos_carlos> ; # Carlos Delgado Kloos
   schema:exampleOfWork <http://worldcat.org/entity/work/id/191592971> ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:name "Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems; [13.] IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain" ;
   schema:productID "312897744" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/312897744#PublicationEvent/london_weinheim_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/312897744> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/191592971#Organization/international_federation_for_information_processing_working_group_very_large_scale_integration> # International Federation for Information Processing. Working Group Very Large Scale Integration.
    a schema:Organization ;
   schema:name "International Federation for Information Processing. Working Group Very Large Scale Integration." ;
    .

<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/computer_hardware_description_languages> # Computer hardware description languages
    a schema:Intangible ;
   schema:name "Computer hardware description languages" ;
    .

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