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

" Computer Aided Verification : "


Document Type : BL
Record Number : 746134
Doc. No : b566083
Main Entry : Gerhard Goos
Title & Author : Computer Aided Verification : : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings.\ Gerhard Goos
Publication Statement : Berlin/Heidelberg : Springer Berlin Heidelberg, 2000
ISBN : 3540450475
: : 9783540450474
LC Classification : ‭QA76.76.V47‬‭G474 2000‬
Added Entry : Gerhard Goos
: Jan Van Leeuwen
: Juris Hartmanis
copyhttps://lib.clisel.com/site/catalogue/746134
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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