منو
رکورد قبلیرکورد بعدی

" Axiomatising the Logic of Computer Programming "


Document Type : BL
Record Number : 745980
Doc. No : b565929
Main Entry : by Robert Goldblatt.
Title & Author : Axiomatising the Logic of Computer Programming\ by Robert Goldblatt.
Publication Statement : Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1982
Series Statement : Lecture Notes in Computer Science, 130
ISBN : 3540390383
: : 9783540390381
Subject : Computer Science
Subject : Computer science.
Subject : Logic design.
Added Entry : Robert Goldblatt
copyhttps://lib.clisel.com/site/catalogue/745980
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟