skip to content
Designing correct circuits : workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford Preview this item
ClosePreview this item
Checking...

Designing correct circuits : workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford

Author: Geraint Jones; Mary Sheeran; British Computer Society.
Publisher: London ; New York : Springer-Verlag, ©1991.
Series: Workshops in computing.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This volume contains the papers presented at the workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application of software engineering techniques to hardware design. As the complexity of hardware systems grows, and as the cost both in money and time of making design errors becomes more  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: Kongress
Oxford (1990)
Electronic books
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Print version:
Designing correct circuits.
London ; New York : Springer-Verlag, ©1991
(DLC) 91009761
(OCoLC)23252959
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Geraint Jones; Mary Sheeran; British Computer Society.
ISBN: 9781447135449 144713544X
OCLC Number: 551532282
Notes: "Published in collaboration with the British Computer Society."
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (viii, 354 pages) : illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: Constrained proofs : a logic for dealing with behavioural constraints in formal hardware verification / Michael Mendler --
Hardware synthesis in constructive type theory / Dany Suk --
An algebraic framework for data abstraction in hardware description / Zheng Zhu and Steven D. Johnson --
Generic specification of digital hardware / Jeffrey J. Joyce --
Sampling and proof : a half-case study / John Hughes --
High level test generation via process composition / Venkatesh Akella and Ganesh Gopalakrishnan --
Towards truly delay-insensitive circuit realizations of process algebras / Geoffrey M. Brown --
The design of a delay-insensitive stack / Mark B. Josephs and Jan Tijmen Udding.
Series Title: Workshops in computing.
Responsibility: Geraint Jones and Mary Sheeran, eds.

Abstract:

These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990.  Read more...

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/551532282> # Designing correct circuits : workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "551532282" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   schema:about <http://experiment.worldcat.org/entity/work/data/908310114#Topic/electronic_circuit_design_data_processing> ; # Electronic circuit design--Data processing
   schema:about <http://dewey.info/class/621.395/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/908310114#Place/oxford_1990> ; # Oxford <1990>
   schema:about <http://id.worldcat.org/fast/1002035> ; # Logic circuits--Data processing
   schema:about <http://id.worldcat.org/fast/906866> ; # Electronic circuit design--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/908310114#Topic/conception_assistee_par_ordinateur> ; # Conception assistée par ordinateur
   schema:about <http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_logiques_informatique> ; # Circuits logiques--Informatique
   schema:about <http://experiment.worldcat.org/entity/work/data/908310114#Topic/logic_circuits_data_processing> ; # Logic circuits--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/908310114#Topic/schaltungsentwurf> ; # Schaltungsentwurf
   schema:about <http://experiment.worldcat.org/entity/work/data/908310114#Topic/computer_aided_design> ; # Computer-aided design
   schema:about <http://id.worldcat.org/fast/872701> ; # Computer-aided design
   schema:about <http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_electroniques_calcul_informatique> ; # Circuits électroniques--Calcul--Informatique
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/149407214> ; # British Computer Society.
   schema:contributor <http://viaf.org/viaf/109670835> ; # Geraint Jones
   schema:contributor <http://viaf.org/viaf/54860687> ; # Mary Sheeran
   schema:copyrightYear "1991" ;
   schema:datePublished "1991" ;
   schema:description "This volume contains the papers presented at the workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application of software engineering techniques to hardware design. As the complexity of hardware systems grows, and as the cost both in money and time of making design errors becomes more apparent, so there is an eagerness to build on the success of mathematical techniques in program development. The authors consider the application of mathematics to hardware design at several different levels of abstraction and present a good cross-section of current work developing and applying formal methods in circuit design."@en ;
   schema:description "Constrained proofs : a logic for dealing with behavioural constraints in formal hardware verification / Michael Mendler -- Hardware synthesis in constructive type theory / Dany Suk -- An algebraic framework for data abstraction in hardware description / Zheng Zhu and Steven D. Johnson -- Generic specification of digital hardware / Jeffrey J. Joyce -- Sampling and proof : a half-case study / John Hughes -- High level test generation via process composition / Venkatesh Akella and Ganesh Gopalakrishnan -- Towards truly delay-insensitive circuit realizations of process algebras / Geoffrey M. Brown -- The design of a delay-insensitive stack / Mark B. Josephs and Jan Tijmen Udding."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/908310114> ;
   schema:genre "Kongress"@en ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Oxford (1990)"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/908310114#Series/workshops_in_computing> ; # Workshops in computing.
   schema:isSimilarTo <http://www.worldcat.org/oclc/23252959> ;
   schema:name "Designing correct circuits : workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford"@en ;
   schema:productID "551532282" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/551532282#PublicationEvent/london_new_york_springer_verlag_1991> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/908310114#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://books.google.com/books?id=TFRGAQAAIAAJ> ;
   schema:url <http://dx.doi.org/10.1007/978-1-4471-3544-9> ;
   schema:url <http://link.springer.com/10.1007/978-1-4471-3544-9> ;
   schema:url <http://books.google.com/books?id=bgVTAAAAMAAJ> ;
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/23252959.html> ;
   schema:url <http://books.google.com/books?id=1qt9AAAAIAAJ> ;
   schema:workExample <http://worldcat.org/isbn/9781447135449> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/551532282> ;
    .


Related Entities

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

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

<http://experiment.worldcat.org/entity/work/data/908310114#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/908310114#Series/workshops_in_computing> # Workshops in computing.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/551532282> ; # Designing correct circuits : workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford
   schema:name "Workshops in computing." ;
   schema:name "Workshops in computing" ;
    .

<http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_electroniques_calcul_informatique> # Circuits électroniques--Calcul--Informatique
    a schema:Intangible ;
   schema:name "Circuits électroniques--Calcul--Informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/908310114#Topic/circuits_logiques_informatique> # Circuits logiques--Informatique
    a schema:Intangible ;
   schema:name "Circuits logiques--Informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/908310114#Topic/conception_assistee_par_ordinateur> # Conception assistée par ordinateur
    a schema:Intangible ;
   schema:name "Conception assistée par ordinateur"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/908310114#Topic/electronic_circuit_design_data_processing> # Electronic circuit design--Data processing
    a schema:Intangible ;
   rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008102924> ;
   schema:name "Electronic circuit design--Data processing"@en ;
    .

<http://id.worldcat.org/fast/1002035> # Logic circuits--Data processing
    a schema:Intangible ;
   schema:name "Logic circuits--Data processing"@en ;
    .

<http://id.worldcat.org/fast/872701> # Computer-aided design
    a schema:Intangible ;
   schema:name "Computer-aided design"@en ;
    .

<http://id.worldcat.org/fast/906866> # Electronic circuit design--Data processing
    a schema:Intangible ;
   schema:name "Electronic circuit design--Data processing"@en ;
    .

<http://link.springer.com/10.1007/978-1-4471-3544-9>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/109670835> # Geraint Jones
    a schema:Person ;
   schema:birthDate "1957" ;
   schema:familyName "Jones" ;
   schema:givenName "Geraint" ;
   schema:name "Geraint Jones" ;
    .

<http://viaf.org/viaf/149407214> # British Computer Society.
    a schema:Organization ;
   schema:name "British Computer Society." ;
    .

<http://viaf.org/viaf/54860687> # Mary Sheeran
    a schema:Person ;
   schema:birthDate "1959" ;
   schema:familyName "Sheeran" ;
   schema:givenName "Mary" ;
   schema:name "Mary Sheeran" ;
    .

<http://worldcat.org/isbn/9781447135449>
    a schema:ProductModel ;
   schema:isbn "144713544X" ;
   schema:isbn "9781447135449" ;
    .

<http://www.worldcat.org/oclc/23252959>
    a schema:CreativeWork ;
   rdfs:label "Designing correct circuits." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/551532282> ; # Designing correct circuits : workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford
    .

<http://www.worldcat.org/title/-/oclc/551532282>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/551532282> ; # Designing correct circuits : workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford
   schema:dateModified "2017-12-24" ;
   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.