عنوان
پدید آورنده
موضوع
رده
QA75 .5 .F61 2015 E-Book ,
QA75
.
5
.
F61
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319254227
NATIONAL BIBLIOGRAPHY NUMBER
Number
13567
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal Methods and Software Engineering
General Material Designation
[electronic resources]
Other Title Information
: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
First Statement of Responsibility
\ edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi.
.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
XXV, 436 p.
Other Physical Details
:ill.
SERIES
Series Title
Lecture notes in computer science
Volume Designation
; 9407
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography
Text of Note
Index
TOPICAL NAME USED AS SUBJECT
Computer science.
Computer networks.
Computer programming.
علوم کامپیوتر
شبکههای رایانه ای
برنامهنویسی
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA75
.
5
Book number
.
F61
2015
E-Book
,
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170216
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319254227.pdf
p
BL
279177
1
a
N
