عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319498119
NATIONAL BIBLIOGRAPHY NUMBER
Number
29626
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Deductive Software Verification – The KeY Book
General Material Designation
[electronic resources]
Other Title Information
: From Theory to Practice
Subsequent Statement of Responsibility
Wolfgang Ahrendt ... [et.al], (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer International Publishing
Date of Publication, Distribution, etc.
, 2016
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xxxii, 702p.
Other Physical Details
:ill
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 10001
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Computer science
Programming languages (Electronic computers)
Software engineering
علوم کامپیوتر
زبانهای برنامهنویسی کامپیوتر
مهندسی نرم افزار
LIBRARY OF CONGRESS CLASSIFICATION
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Ahrendt, Wolfgang
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20190306
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319498119.pdf
BL
279177
1
a
N
