عنوان
پدید آورنده
موضوع
رده
QA 76.63 .L6 2015 E-Book ,
QA
76
.
63
.
L6
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319274355
NATIONAL BIBLIOGRAPHY NUMBER
Number
12681
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic-Based Program Synthesis and Transformation
General Material Designation
[electronic resources]
Other Title Information
: 25th International Symposium, LOPSTR 2015 Siena, Italy, July 13–15, 2015 Revised Selected Papers
First Statement of Responsibility
\ Moreno Falaschi (Ed.)
.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
xvii,[384] p.
Other Physical Details
:ill
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 9527
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Logic programming -- Congresses.
Computer logic -- Congresses
Computer software -- Development -- Congresses.
برنامهنویسی منطقی -- کنگرهها
منطق کامپیوتری -- کنگره ها
نرمافزار -- تولید -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
63
Book number
.
L6
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Falaschi, Moreno
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
LOPSTR (Symposium) (25th : 2015 : Siena, Italy)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20191019
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319274355.pdf
p
BL
279177
1
a
Y
