Jump to main content

図書

Mathematics of program construction : 11th international conference, MPC 2012 : Madrid, Spain, June 25-27, 2012 : proceedings. (Lecture Notes in Computer Science ; 7342)

Icons representing 図書

Mathematics of program construction : 11th international conference, MPC 2012 : Madrid, Spain, June 25-27, 2012 : proceedings.

(Lecture Notes in Computer Science ; 7342)

Call No. (NDL)
M17-13-551
Bibliographic ID of National Diet Library
023927971
Material type
図書
Author
MPC 2012 (2012 : Madrid, Spain)ほか
Publisher
Springer
Publication date
c2012.
Material Format
Paper
Capacity, size, etc.
x, 362 p. ; 24 cm.
NDC
-
View Details

Notes on use

Note (General)：

Papers and an abstract.

Other physical details：

ill.

Search by Bookstore

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • CiNii Research

    Search Service
    Paper
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
    Check the holdings of this book

Search by Bookstore

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
9783642311130 (e-ISBN)
9783642311123
ISSN
16113349 (e-ISSN)
ISSN (series)
03029743
Title
Mathematics of program construction : 11th international conference, MPC 2012 : Madrid, Spain, June 25-27, 2012 : proceedings.
Series Title
Lecture Notes in Computer Science ; 7342
Title Heading
Lecture notes in computer science ; 7342. 1611-3349
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading
MPC 2012 (2012 : Madrid, Spain)
Gibbons, Jeremy, 1966-
Nogueira, Pablo.
Universidad Complutense de Madrid.
Universidad Politecnica de Madrid.
Publication, Distribution, etc.
Berlin : Springer
New York : Springer
Publication Date
c2012.
Publication Date (W3CDTF)
2012
Extent
x, 362 p.
Other physical details
ill.
Size
24 cm.
Additional Title
Jun 2012, Madrid, Spain.
Place of Publication (Country Code)
DE
US
Text Language Code
eng
Genre/Form Terms
Electronic books.
Subject Heading
Computer programming--Mathematics--Congresses.
Computer programs--Mathematics--Congresses.
Computer science.
Software engineering.
Logic design.
Computational complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Math Applications in Computer Science.
LCC
QA76.9.M65
DDC
005.101/51
NDLC
M17
Target Audience
一般
Note (General)
Papers and an abstract.
Note (Bibliography)
Includes bibliographical references and author index.
Source
SpringerLink
http://dx.doi.org/10.1007/978-3-642-31113-0Leave the NDL website.
Holding library
国立国会図書館
Call No.
M17-13-551
Data Provider (Database)
国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL)
023927971
http://id.ndl.go.jp/bib/023927971
OCLC No.
797175645
https://www.worldcat.org/oclc/797175645Leave the NDL website.
Cataloging Rule
Anglo-American Cataloging Rules
Bibliographic Record Category (NDL)
215
See Less