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

" Logic and Program Semantics "


Document Type : BL
Record Number : 605339
Doc. No : b434558
Main Entry : Constable, Robert L
Title & Author : Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /\ edited by Robert L. Constable, Alexandra Silva
Publication Statement : Berlin, Heidelberg :: Springer Berlin Heidelberg,, 2012
Series Statement : Lecture Notes in Computer Science,; 7230
ISBN : 9783642294853
Subject : Computer science
Subject : Software engineering
Subject : Computer software
Subject : Logic design
Subject : Computer Science
Subject : Logics and Meanings of Programs
Subject : Mathematical Logic and Formal Languages
Subject : Algorithm Analysis and Problem Complexity
Subject : Software Engineering
Subject : Programming Languages, Compilers, Interpreters
Subject : Programming Techniques
Added Entry : Silva, Alexandra
Added Entry : SpringerLink (Online service)
copyhttps://lib.clisel.com/site/catalogue/605339
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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