skip to content
Systematic software development using VDM Preview this item
ClosePreview this item
Checking...

Systematic software development using VDM

Author: C B Jones
Publisher: Englewood Cliffs, N.J. : Prentice Hall International, ©1986.
Series: Prentice-Hall international series in computer science.
Edition/Format:   Print book : EnglishView all editions and formats
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:
Jones, C.B. (Cliff B.), 1944-
Systematic software development using VDM.
Englewood Cliffs, N.J. : Prentice Hall International, ©1986
(OCoLC)561361793
Document Type: Book
All Authors / Contributors: C B Jones
ISBN: 0138807256 9780138807252 0138807175 9780138807177
OCLC Number: 13063727
Description: xvi, 300 pages : illustrations ; 24 cm.
Series Title: Prentice-Hall international series in computer science.
Other Titles: VDM
Responsibility: Cliff B. Jones.

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/13063727> # Systematic software development using VDM
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "13063727" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/5508498#Place/englewood_cliffs_n_j> ; # Englewood Cliffs, N.J.
   schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
   schema:about <http://id.loc.gov/authorities/subjects/sh85029535> ; # Computer software--Development
   schema:about <http://experiment.worldcat.org/entity/work/data/5508498#Thing/computer_systems> ; # Computer systems
   schema:about <http://experiment.worldcat.org/entity/work/data/5508498#Topic/softwareentwicklung> ; # Softwareentwicklung
   schema:about <http://experiment.worldcat.org/entity/work/data/5508498#Topic/vdm> ; # VDM
   schema:about <http://experiment.worldcat.org/entity/work/data/5508498#Topic/langages_de_programmation> ; # Langages de programmation
   schema:about <http://experiment.worldcat.org/entity/work/data/5508498#Topic/logiciels> ; # Logiciels
   schema:about <http://dewey.info/class/005.1/e20/> ;
   schema:about <http://dewey.info/class/001.6425/e19/> ;
   schema:alternateName "VDM" ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1986" ;
   schema:creator <http://viaf.org/viaf/80936003> ; # Cliff B. Jones
   schema:datePublished "1986" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/5508498> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5508498#Series/prentice_hall_international_series_in_computer_science> ; # Prentice-Hall international series in computer science.
   schema:isSimilarTo <http://www.worldcat.org/oclc/561361793> ;
   schema:name "Systematic software development using VDM"@en ;
   schema:productID "13063727" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/13063727#PublicationEvent/englewood_cliffs_n_j_prentice_hall_international_1986> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/5508498#Agent/prentice_hall_international> ; # Prentice Hall International
   schema:workExample <http://worldcat.org/isbn/9780138807252> ;
   schema:workExample <http://worldcat.org/isbn/9780138807177> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8604241> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/13063727> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5508498#Agent/prentice_hall_international> # Prentice Hall International
    a bgn:Agent ;
   schema:name "Prentice Hall International" ;
    .

<http://experiment.worldcat.org/entity/work/data/5508498#Place/englewood_cliffs_n_j> # Englewood Cliffs, N.J.
    a schema:Place ;
   schema:name "Englewood Cliffs, N.J." ;
    .

<http://experiment.worldcat.org/entity/work/data/5508498#Series/prentice_hall_international_series_in_computer_science> # Prentice-Hall international series in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/13063727> ; # Systematic software development using VDM
   schema:name "Prentice-Hall international series in computer science." ;
   schema:name "Prentice-Hall International series in computer science" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/5508498#Topic/langages_de_programmation> # Langages de programmation
    a schema:Intangible ;
   schema:name "Langages de programmation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5508498#Topic/softwareentwicklung> # Softwareentwicklung
    a schema:Intangible ;
   schema:name "Softwareentwicklung"@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/872537> # Computer software--Development
    a schema:Intangible ;
   schema:name "Computer software--Development"@en ;
    .

<http://viaf.org/viaf/80936003> # Cliff B. Jones
    a schema:Person ;
   schema:birthDate "1944" ;
   schema:familyName "Jones" ;
   schema:givenName "Cliff B." ;
   schema:givenName "C. B." ;
   schema:name "Cliff B. Jones" ;
    .

<http://worldcat.org/isbn/9780138807177>
    a schema:ProductModel ;
   schema:isbn "0138807175" ;
   schema:isbn "9780138807177" ;
    .

<http://worldcat.org/isbn/9780138807252>
    a schema:ProductModel ;
   schema:isbn "0138807256" ;
   schema:isbn "9780138807252" ;
    .

<http://www.worldcat.org/oclc/561361793>
    a schema:CreativeWork ;
   rdfs:label "Systematic software development using VDM." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/13063727> ; # Systematic software development using VDM
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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