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

" Scalable Techniques for Formal Verification "


Document Type : BL
Record Number : 621373
Doc. No : dltt
Main Entry : Ray, Sandip.
Title & Author : Scalable Techniques for Formal Verification\ by Sandip Ray.
Publication Statement : Boston, MA :: Springer Science+Business Media, LLC,, 2010.
ISBN : 9781441959973
: : 9781441959980
Subject : Engineering.
Subject : Computer-aided design.
Subject : Systems engineering.
Added Entry : SpringerLink (Online service)
copyhttps://lib.clisel.com/site/catalogue/621373
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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