عنوان
پدید آورنده
موضوع
رده
QA 75.5 .M32 2015 E-Book ,
QA
75
.
5
.
M32
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319197968
NATIONAL BIBLIOGRAPHY NUMBER
Number
12654
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Mathematics of Program Construction
General Material Designation
[electronic resources]
Other Title Information
: 12th International Conference, MPC 2015 Königswinter, Germany, June 29 – July 1, 2015 Proceedings
First Statement of Responsibility
\ Ralf Hinze , Janis Voigtländer (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv,[323] p.
Other Physical Details
:ill
SERIES
Series Title
Lecture notes in computer science
Volume Designation
; 9129
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Computer programming -- Mathematics -- Congresses.
Computer programs -- Mathematics -- Congresses.
Logics and Meanings of Programs.
برنامهنویسی -- ریاضیات -- کنگره ها
برنامههای کامپیوتری -- ریاضیات -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
75
.
5
Book number
.
M32
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Hinze, Ralf
Voigtländer, Janis, 1977-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
MPC (Conference) (12th : 2015 : Königswinter, Germany)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20161009
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319197968.pdf
p
BL
279177
1
a
Y
