skip to content
On automating the construction of programs Preview this item
ClosePreview this item
Checking...

On automating the construction of programs

Author: Jack R Buchanan; David C Luckham; Stanford University. Computer Science Department.
Publisher: Stanford : Department of Computer Science, Stanford University, 1974.
Series: STAN-CS-, 74-433.; AIM, 236.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Jack R Buchanan; David C Luckham; Stanford University. Computer Science Department.
OCLC Number: 606103996
Series Title: STAN-CS-, 74-433.; AIM, 236.
Responsibility: by Jack R. Buchanan and David C. Luckham.

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/606103996> # On automating the construction of programs
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "606103996" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/39796181#Place/stanford> ; # Stanford
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/39796181#Organization/stanford_university_computer_science_department> ; # Stanford University. Computer Science Department.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/39796181#Person/luckham_david_c> ; # David C. Luckham
   schema:creator <http://viaf.org/viaf/94914454> ; # Jack R. Buchanan
   schema:datePublished "1974" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/39796181> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/39796181#Series/stan_cs> ; # STAN-CS- ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/39796181#Series/aim> ; # AIM ;
   schema:name "On automating the construction of programs"@en ;
   schema:productID "606103996" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/606103996#PublicationEvent/stanford_department_of_computer_science_stanford_university_1974> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/39796181#Agent/department_of_computer_science_stanford_university> ; # Department of Computer Science, Stanford University
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/606103996> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/39796181#Agent/department_of_computer_science_stanford_university> # Department of Computer Science, Stanford University
    a bgn:Agent ;
   schema:name "Department of Computer Science, Stanford University" ;
    .

<http://experiment.worldcat.org/entity/work/data/39796181#Organization/stanford_university_computer_science_department> # Stanford University. Computer Science Department.
    a schema:Organization ;
   schema:name "Stanford University. Computer Science Department." ;
    .

<http://experiment.worldcat.org/entity/work/data/39796181#Person/luckham_david_c> # David C. Luckham
    a schema:Person ;
   schema:familyName "Luckham" ;
   schema:givenName "David C." ;
   schema:name "David C. Luckham" ;
    .

<http://experiment.worldcat.org/entity/work/data/39796181#Series/aim> # AIM ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/606103996> ; # On automating the construction of programs
   schema:name "AIM ;" ;
   schema:name "AIM- ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/39796181#Series/stan_cs> # STAN-CS- ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/606103996> ; # On automating the construction of programs
   schema:name "STAN-CS- ;" ;
    .

<http://viaf.org/viaf/94914454> # Jack R. Buchanan
    a schema:Person ;
   schema:familyName "Buchanan" ;
   schema:givenName "Jack R." ;
   schema:name "Jack R. Buchanan" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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