Jump to main content
図書

Program correctness and observable computability

Icons representing 図書

Program correctness and observable computability

Call No. (NDL)
M159-B144
Bibliographic ID of National Diet Library
024443913
Material type
図書
Author
by Takayasu Ito
Publisher
Sankeisha
Publication date
2013.5
Material Format
Paper
Capacity, size, etc.
102p ; 26cm
NDC
-
View All

Search by Bookstore

Search by Bookstore

Publication bibliographic database Books Find a bookstore where you can purchase books from

Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
978-4-86487-098-6
Author/Editor
by Takayasu Ito
Author Heading
伊藤, 貴康 イトウ, タカヤス ( 00023201 )Authorities
Publication, Distribution, etc.
Publication Date
2013.5
Publication Date (W3CDTF)
2013
Extent
102p
Size
26cm