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 : Chapman & Hall, 1997.
Edition/Format:   Print book : Conference publication : English : 1. edView all editions and formats
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 Seiten : Diagramme
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://experiment.worldcat.org/entity/work/data/191592971#Place/weinheim> ; # Weinheim
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    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_conference_on_computer_hardware_description_languages_and_their_applications_1997_toledo> ; # International Conference on Computer Hardware Description Languages and Their Applications. <1997, Toledo>.
    schema:contributor <http://viaf.org/viaf/142514657> ; # International Federation for Information Processing. Working Group Very Large Scale Integration.
    schema:datePublished "1997" ;
    schema:editor <http://viaf.org/viaf/91776476> ; # 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_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#Agent/chapman_&_hall> # Chapman & Hall
    a bgn:Agent ;
    schema:name "Chapman & Hall" ;
    .

<http://experiment.worldcat.org/entity/work/data/191592971#Organization/international_conference_on_computer_hardware_description_languages_and_their_applications_1997_toledo> # 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://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/142514657> # 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://viaf.org/viaf/91776476> # Carlos Delgado Kloos
    a schema:Person ;
    schema:familyName "Delgado Kloos" ;
    schema:givenName "Carlos" ;
    schema:name "Carlos Delgado Kloos" ;
    .

<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 "2018-06-23" ;
    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.