skip to content
Formal control-flow properties of a model of computation Preview this item
ClosePreview this item
Checking...

Formal control-flow properties of a model of computation

Author: Vinton G Cerf; U.S. Atomic Energy Commission. Division of Research.
Publisher: Los Angeles : Computer Science Department, UCLA, 1971.
Series: Report series (University of California, Los Angeles. Computer Systems Modeling and Analysis Group), 4.
Edition/Format:   Print book : State or province government publication : English
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

Material Type: Government publication, State or province government publication
Document Type: Book
All Authors / Contributors: Vinton G Cerf; U.S. Atomic Energy Commission. Division of Research.
OCLC Number: 10485113
Notes: "Prepared for the U.S. Atomic Energy Commission, Division of Research under contract no. At(11-1)Gen 10, Project 14."
"UCLA-10P14-105."
"UCLA-ENG-7178."
Description: ix, 57, 9, 5, 9 pages : illustrations ; 28 cm.
Series Title: Report series (University of California, Los Angeles. Computer Systems Modeling and Analysis Group), 4.
Responsibility: V. Cerf [and others].

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

User lists with this item (1)

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/10485113> # Formal control-flow properties of a model of computation
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "10485113" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1862265319#Place/los_angeles> ; # Los Angeles
    rdfs:comment "Unknown 'gen' value: sgp" ;
    schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/129046284> ; # U.S. Atomic Energy Commission. Division of Research.
    schema:contributor <http://viaf.org/viaf/16036488> ; # Vinton G. Cerf
    schema:datePublished "1971" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1862265319> ;
    schema:genre "Government publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1862265319#Series/report_series_computer_systems_modeling_and_analysis_group> ; # Report series / Computer Systems Modeling and Analysis Group ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1862265319#Series/report_series_university_of_california_los_angeles_computer_systems_modeling_and_analysis_group> ; # Report series (University of California, Los Angeles. Computer Systems Modeling and Analysis Group) ;
    schema:name "Formal control-flow properties of a model of computation"@en ;
    schema:productID "10485113" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/10485113#PublicationEvent/los_angeles_computer_science_department_ucla_1971> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1862265319#Agent/computer_science_department_ucla> ; # Computer Science Department, UCLA
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/10485113> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1862265319#Agent/computer_science_department_ucla> # Computer Science Department, UCLA
    a bgn:Agent ;
    schema:name "Computer Science Department, UCLA" ;
    .

<http://experiment.worldcat.org/entity/work/data/1862265319#Series/report_series_computer_systems_modeling_and_analysis_group> # Report series / Computer Systems Modeling and Analysis Group ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/10485113> ; # Formal control-flow properties of a model of computation
    schema:name "Report series / Computer Systems Modeling and Analysis Group ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1862265319#Series/report_series_university_of_california_los_angeles_computer_systems_modeling_and_analysis_group> # Report series (University of California, Los Angeles. Computer Systems Modeling and Analysis Group) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/10485113> ; # Formal control-flow properties of a model of computation
    schema:name "Report series (University of California, Los Angeles. Computer Systems Modeling and Analysis Group) ;" ;
    .

<http://id.worldcat.org/fast/1052928> # Parallel processing (Electronic computers)
    a schema:Intangible ;
    schema:name "Parallel processing (Electronic computers)"@en ;
    .

<http://viaf.org/viaf/129046284> # U.S. Atomic Energy Commission. Division of Research.
    a schema:Organization ;
    schema:name "U.S. Atomic Energy Commission. Division of Research." ;
    .

<http://viaf.org/viaf/16036488> # Vinton G. Cerf
    a schema:Person ;
    schema:birthDate "1943" ;
    schema:familyName "Cerf" ;
    schema:givenName "Vinton G." ;
    schema:name "Vinton G. Cerf" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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