عنوان
پدید آورنده
موضوع
رده
QA 76 .L6 2015 E-Book ,
QA
76
.
L6
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319231648
NATIONAL BIBLIOGRAPHY NUMBER
Number
13626
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic, Rewriting, and Concurrency
General Material Designation
[electronic resources]
Other Title Information
: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
First Statement of Responsibility
\ Narciso Martí-Oliet , Peter Csaba Ölveczky, Carolyn Talcott (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 9200
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer science
Entry Element
Computer logic
Entry Element
کامپیوتر
Entry Element
منطق کامپیوتری
a03
a05
a03
a05
Computer software -- Development.
نرمافزار -- تولید
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
Book number
.
L6
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Martí-Oliet, Narciso
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170129
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319231648.pdf
p
BL
279177
1
a
N
