This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
First-Order Programming Theories.
"
Wilfred Brauer
Document Type
:
BL
Record Number
:
751010
Doc. No
:
b570969
Main Entry
:
Wilfred Brauer
Title & Author
:
First-Order Programming Theories.\ Wilfred Brauer
Publication Statement
:
Berlin/Heidelberg : Springer Berlin Heidelberg, 1991
Page. NO
:
(341 pages)
ISBN
:
3642582052
:
: 9783642582059
Contents
:
Introduction; Part I Computability; Part II Extended Dynamic Logics; Epilogue; References; Notations; Subject Index.
Subject
:
Computer programming.
Added Entry
:
Arto Salomaa
:
Grzegorz Rozenberg
:
Wilfred Brauer
https://lib.clisel.com/site/catalogue/751010
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن