عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
:9783319498119
29626
انگلیسی
Deductive Software Verification – The KeY Book
[electronic resources]
: From Theory to Practice
Wolfgang Ahrendt ... [et.al], (Eds.)
Cham
: Springer International Publishing
, 2016
xxxii, 702p.
:ill
Lecture Notes in Computer Science
; 10001
Index
Bibliography
Computer science
Programming languages (Electronic computers)
Software engineering
علوم کامپیوتر
زبانهای برنامهنویسی کامپیوتر
مهندسی نرم افزار
E-Book
,
Ahrendt, Wolfgang
ایران
20190306
9783319498119.pdf
BL
279177
1
a
N
