Foundations of Software Science and Computation Structures
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: 18th International Conference, FOSSACS 2015 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 London, UK, April 11–18, 2015 Proceedings ABC
نام نخستين پديدآور
\ Andrew Pitts (Ed.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2015
مشخصات ظاهری
نام خاص و کميت اثر
xv, 465 p.
ساير جزييات
:ill.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر