تئوری های متحد برنامه نویسی: اولین سمپوزیوم بین المللی ، UTP 2006 ، قلعه والورث ، کانتی دورام ، انگلستان ، 5-7 فوریه 2006 ، برگه های تجدید نظر شده
Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
نویسنده: Eric Hehner (auth.), Steve Dunne, Bill Stoddart (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2006
تعداد صفحات: 264
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت