Catalog

See all 12 catalog results
Physical and digital books, media, journals, archives, and databases.
Results include

  1. Program correctness and observable computability

    Itō, Takayasu
    First edition. - Nagoya, Aichi, Japan : Sankeisha, 2013.5.

  2. Constructive logics for program correctness

    Itō, Takayasu
    Tokyo, Japan : Maruzen Planet, [2012]

  3. Mathematical theory of programs : dedicated to the memory of John McMarthy

    Itō, T. (Takayasu), 1940-
    First edition. - Nagoya, Aichi, Japan : Sankeisha Co., 2013.

Guides

Course- and topic-based guides to collections, tools, and services.
No guide results found... Try a different search

Library website

Library info; guides & content by subject specialists
No website results found... Try a different search

Exhibits

Digital showcases for research and teaching.
No exhibits results found... Try a different search

EarthWorks

Geospatial content, including GIS datasets, digitized maps, and census data.
No earthworks results found... Try a different search

More search tools

Tools to help you discover resources at Stanford and beyond.