skip to content
The programming process : an introduction using VDM and Pascal Preview this item
ClosePreview this item
Checking...

The programming process : an introduction using VDM and Pascal

Author: John T Latham; Vicky J Bush; Ian D Cottam
Publisher: Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., ©1990.
Series: International computer science series.
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:
Latham, John T. (John Timothy), 1959-
Programming process.
Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., ©1990
(OCoLC)644000209
Document Type: Book
All Authors / Contributors: John T Latham; Vicky J Bush; Ian D Cottam
ISBN: 0201416611 9780201416619
OCLC Number: 20693937
Description: xvii, 537 pages : illustrations ; 24 cm.
Series Title: International computer science series.
Responsibility: John T. Latham, Vicky J. Bush, Ian D. Cottam.

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/20693937> # The programming process : an introduction using VDM and Pascal
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "20693937" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/836753041#Place/wokingham_england> ; # Wokingham, England
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/836753041#Place/reading_mass> ; # Reading, Mass.
    schema:about <http://experiment.worldcat.org/entity/work/data/836753041#Topic/pascal_programmiersprache> ; # PASCAL (Programmiersprache)
    schema:about <http://id.loc.gov/authorities/subjects/sh85029535> ; # Computer software--Development
    schema:about <http://experiment.worldcat.org/entity/work/data/836753041#Topic/pascal_langage_de_programmation> ; # PASCAL (Langage de programmation)
    schema:about <http://experiment.worldcat.org/entity/work/data/836753041#Thing/computer_systems> ; # Computer systems
    schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
    schema:about <http://dewey.info/class/005.1/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/836753041#Topic/vdm> ; # VDM
    schema:about <http://experiment.worldcat.org/entity/work/data/836753041#Topic/programmierung> ; # Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/836753041#Topic/pascal> ; # PASCAL
    schema:about <http://experiment.worldcat.org/entity/work/data/836753041#CreativeWork/pascal_computer_programming_language> ; # Pascal (computer programming language)
    schema:about <http://experiment.worldcat.org/entity/work/data/836753041#Topic/logiciels_developpement> ; # Logiciels--Développement
    schema:about <http://id.worldcat.org/fast/1054264> ; # Pascal (Computer program language)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/93196796> ; # Ian David Cottam
    schema:contributor <http://viaf.org/viaf/93196426> ; # Vicky Jane Bush
    schema:copyrightYear "1990" ;
    schema:creator <http://viaf.org/viaf/93198516> ; # John Timothy Latham
    schema:datePublished "1990" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/836753041> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/836753041#Series/international_computer_science_series> ; # International computer science series.
    schema:isSimilarTo <http://www.worldcat.org/oclc/644000209> ;
    schema:name "The programming process : an introduction using VDM and Pascal"@en ;
    schema:productID "20693937" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/20693937#PublicationEvent/wokingham_england_reading_mass_addison_wesley_pub_co_1990> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/836753041#Agent/addison_wesley_pub_co> ; # Addison-Wesley Pub. Co.
    schema:workExample <http://worldcat.org/isbn/9780201416619> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9003420> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/20693937> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/836753041#Agent/addison_wesley_pub_co> # Addison-Wesley Pub. Co.
    a bgn:Agent ;
    schema:name "Addison-Wesley Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/836753041#CreativeWork/pascal_computer_programming_language> # Pascal (computer programming language)
    a schema:CreativeWork ;
    schema:name "Pascal (computer programming language)" ;
    .

<http://experiment.worldcat.org/entity/work/data/836753041#Place/reading_mass> # Reading, Mass.
    a schema:Place ;
    schema:name "Reading, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/836753041#Place/wokingham_england> # Wokingham, England
    a schema:Place ;
    schema:name "Wokingham, England" ;
    .

<http://experiment.worldcat.org/entity/work/data/836753041#Series/international_computer_science_series> # International computer science series.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/20693937> ; # The programming process : an introduction using VDM and Pascal
    schema:name "International computer science series." ;
    schema:name "International computer science series" ;
    .

<http://experiment.worldcat.org/entity/work/data/836753041#Thing/computer_systems> # Computer systems
    a schema:Thing ;
    schema:name "Computer systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/836753041#Topic/logiciels_developpement> # Logiciels--Développement
    a schema:Intangible ;
    schema:name "Logiciels--Développement"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/836753041#Topic/pascal_langage_de_programmation> # PASCAL (Langage de programmation)
    a schema:Intangible ;
    schema:name "PASCAL (Langage de programmation)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/836753041#Topic/pascal_programmiersprache> # PASCAL (Programmiersprache)
    a schema:Intangible ;
    schema:name "PASCAL (Programmiersprache)"@en ;
    .

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

<http://id.worldcat.org/fast/1054264> # Pascal (Computer program language)
    a schema:Intangible ;
    schema:name "Pascal (Computer program language)"@en ;
    .

<http://id.worldcat.org/fast/872537> # Computer software--Development
    a schema:Intangible ;
    schema:name "Computer software--Development"@en ;
    .

<http://viaf.org/viaf/93196426> # Vicky Jane Bush
    a schema:Person ;
    schema:birthDate "1954" ;
    schema:familyName "Bush" ;
    schema:givenName "Vicky Jane" ;
    schema:givenName "Vicky J." ;
    schema:name "Vicky Jane Bush" ;
    .

<http://viaf.org/viaf/93196796> # Ian David Cottam
    a schema:Person ;
    schema:birthDate "1951" ;
    schema:familyName "Cottam" ;
    schema:givenName "Ian David" ;
    schema:givenName "Ian D." ;
    schema:name "Ian David Cottam" ;
    .

<http://viaf.org/viaf/93198516> # John Timothy Latham
    a schema:Person ;
    schema:birthDate "1959" ;
    schema:familyName "Latham" ;
    schema:givenName "John Timothy" ;
    schema:givenName "John T." ;
    schema:name "John Timothy Latham" ;
    .

<http://worldcat.org/isbn/9780201416619>
    a schema:ProductModel ;
    schema:isbn "0201416611" ;
    schema:isbn "9780201416619" ;
    .

<http://www.worldcat.org/oclc/644000209>
    a schema:CreativeWork ;
    rdfs:label "Programming process." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/20693937> ; # The programming process : an introduction using VDM and Pascal
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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