skip to content
The Imperative future : principles of executable temporal logic Preview this item
ClosePreview this item
Checking...

The Imperative future : principles of executable temporal logic

Author: Howard Barringer
Publisher: Taunton, Somerset, England : Research Studies Press ; New York : Wiley, ©1996.
Series: Advanced software development series, 4.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
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

Additional Physical Format: Online version:
Imperative future.
Taunton, Somerset, England : Research Studies Press ; New York : Wiley, ©1996
(OCoLC)605012498
Document Type: Book
All Authors / Contributors: Howard Barringer
ISBN: 0471961302 9780471961307 0863801900 9780863801907
OCLC Number: 34409709
Description: xv, 239 pages : illustrations ; 24 cm.
Series Title: Advanced software development series, 4.
Responsibility: edited by Howard Barringer [and others].

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/34409709> # The Imperative future : principles of executable temporal logic
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "34409709" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/836921329#Place/taunton_somerset_england> ; # Taunton, Somerset, England
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/836921329#Topic/temporal_logic_computer_program_language> ; # Temporal Logic (Computer program language)
    schema:about <http://experiment.worldcat.org/entity/work/data/836921329#Topic/logic_programming_languages> ; # Logic programming languages
    schema:about <http://id.loc.gov/authorities/subjects/sh85029535> ; # Computer software--Development
    schema:about <http://dewey.info/class/005.133/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/836921329#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/836921329#Topic/programming_languages_electronic_computers> ; # Programming languages (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/836921329#Topic/computer_software_development> ; # Computer software--Development
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/108671282> ; # Howard Barringer
    schema:copyrightYear "1996" ;
    schema:datePublished "1996" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/836921329> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/836921329#Series/advanced_software_development_series> ; # Advanced software development series ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/605012498> ;
    schema:name "The Imperative future : principles of executable temporal logic"@en ;
    schema:productID "34409709" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/34409709#PublicationEvent/taunton_somerset_england_research_studies_press_new_york_wiley_1996> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/836921329#Agent/research_studies_press> ; # Research Studies Press
    schema:publisher <http://experiment.worldcat.org/entity/work/data/836921329#Agent/wiley> ; # Wiley
    schema:workExample <http://worldcat.org/isbn/9780863801907> ;
    schema:workExample <http://worldcat.org/isbn/9780471961307> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA328353> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/34409709> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/836921329#Agent/research_studies_press> # Research Studies Press
    a bgn:Agent ;
    schema:name "Research Studies Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/836921329#Place/taunton_somerset_england> # Taunton, Somerset, England
    a schema:Place ;
    schema:name "Taunton, Somerset, England" ;
    .

<http://experiment.worldcat.org/entity/work/data/836921329#Series/advanced_software_development_series> # Advanced software development series ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/34409709> ; # The Imperative future : principles of executable temporal logic
    schema:name "Advanced software development series ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/836921329#Topic/computer_software_development> # Computer software--Development
    a schema:Intangible ;
    schema:name "Computer software--Development"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/836921329#Topic/logic_programming_languages> # Logic programming languages
    a schema:Intangible ;
    schema:name "Logic programming languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/836921329#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/836921329#Topic/programming_languages_electronic_computers> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/836921329#Topic/temporal_logic_computer_program_language> # Temporal Logic (Computer program language)
    a schema:Intangible ;
    schema:name "Temporal Logic (Computer program language)"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85029535> # Computer software--Development
    a schema:Intangible ;
    schema:name "Computer software--Development"@en ;
    .

<http://viaf.org/viaf/108671282> # Howard Barringer
    a schema:Person ;
    schema:birthDate "1951" ;
    schema:familyName "Barringer" ;
    schema:givenName "Howard" ;
    schema:name "Howard Barringer" ;
    .

<http://worldcat.org/isbn/9780471961307>
    a schema:ProductModel ;
    schema:isbn "0471961302" ;
    schema:isbn "9780471961307" ;
    .

<http://worldcat.org/isbn/9780863801907>
    a schema:ProductModel ;
    schema:isbn "0863801900" ;
    schema:isbn "9780863801907" ;
    .

<http://www.worldcat.org/oclc/605012498>
    a schema:CreativeWork ;
    rdfs:label "Imperative future." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/34409709> ; # The Imperative future : principles of executable temporal logic
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.