عنوان
پدید آورنده
موضوع
رده
QA 76.9 .S765 2015 E-Book ,
QA
76
.
9
.
S765
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319174037
NATIONAL BIBLIOGRAPHY NUMBER
Number
11791
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Structured object-oriented formal language and method
General Material Designation
[electronic resources]
Other Title Information
: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers
First Statement of Responsibility
\ Shaoying Liu, Zhenhua Duan (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
viii,[189] p.
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 8979
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science) -- Congresses
Object-oriented methods (Computer science) -- Congresses.
Logics and Meanings of Programs
روشهای صوری (کامپیوتر) -- کنگره ها
شیگرایی (کامپیوتر) -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
Book number
.
S765
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Liu, Shaoying, 1960-
Duan, Zhenhua
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20160602
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319174037.pdf
p
BL
279177
1
a
Y
