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

" Logic and program semantics "


Document Type : BL
Record Number : 605338
Doc. No : b434557
Title & Author : Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday /\ Robert L. Constable, Alexandra Silva (eds.)
Publication Statement : Heidelberg ;New York :: Springer,, c2012
Series Statement : Lecture notes in computer science,; 7230.Festschrift
: Programming and software engineering
Page. NO : 1 online resource (xiii, 355 p.) :: ill. (some col.)
ISBN : 9783642294853 (electronic bk.)
: : 3642294855 (electronic bk.)
: 9783642294846
: 3642294847
Bibliographies/Indexes : Includes bibliographical references
Subject : Computer logic
Subject : Computer programming
Subject : Software engineering
Dewey Classification : ‭005.101/5113‬
LC Classification : ‭QA76.9.L63‬‭L64 2012eb‬
: ‭QA76.9.L63‬‭L64 2012eb‬
copyhttps://lib.clisel.com/site/catalogue/605338
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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