Symbolic Model Checking
الكاتب: Kenneth L McMillan
تصنيف: زراعة و حيوان / زراعة عامة
الناشر: Springer
السّنة: 2012-10-23
ردمك: 9781461363996
السّعر (USD): 26.0
يَوْمَ نَطْوِي السَّمَاءَ كَطَيِّ السِّجِلِّ لِلْكُتُبِ
📚 فهرس عناوين مكتبة نيل و فرات - رجب 1446/جانفي 2025الكاتب: Kenneth L McMillan
تصنيف: زراعة و حيوان / زراعة عامة
الناشر: Springer
السّنة: 2012-10-23
ردمك: 9781461363996
السّعر (USD): 26.0