The Calculus Of Computation: Decision Procedures With Applications To Verification
By (author) Aaron R. Bradley
غير متوفر بالمخزن
By (author) Aaron R. Bradley
| المؤلف | By (author) Aaron R. Bradley |
|---|---|
| تاريخ النشر | ١٢ أكتوبر ٢٠٠٧ م |
| EAN | 9783540741121 |
| Series Number | SPRING12 |
| المساهمون | Aaron R. Bradley |
| الناشر | Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg |
| اللغة | الإنجليزية |
| بلد النشر | فرنسا |
| الوزن | 0.730000 |
كتابة مراجعتك
