Computer-Aided VerificationE. M. Clarke

Computer-Aided Verification

E. M. Clarke · 1991

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 1991
שפה: English
הוצאה: Springer
מהדורות: 1
עמודים: 372
ISBN: 9780387544779

מקור הנתונים: Wikidata

עוד של E. M. Clarke

Shania TwainE. M. Clarke

E. M. Clarke · 2005

Super Sleuths and the Pirate's PlunderE. M. Clarke

Super Sleuths and the Pirate's Plunder

E. M. Clarke · 2018