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

" Verification: "


Document Type : BL
Record Number : 746053
Doc. No : b566002
Main Entry : edited by Nachum Dershowitz.
Title & Author : Verification: : Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday\ edited by Nachum Dershowitz.
Publication Statement : Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg : Springer e-books, 2004
Series Statement : Lecture Notes in Computer Science, 2772
ISBN : 3540399100
: : 9783540399100
Notes : L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques.
Subject : Computer science.
Subject : Logic design.
Subject : Software engineering.
LC Classification : ‭QA76.76.V47‬‭E358 2004‬
Added Entry : Nachum Dershowitz
copyhttps://lib.clisel.com/site/catalogue/746053
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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