Principles of model checking /

מידע ביבליוגרפי
מחבר ראשי: Baier, Christel
מחברים אחרים: Katoen, Joost-Pieter
פורמט: Printed Book
שפה:English
יצא לאור: Cambridge, Mass. : The MIT Press, [2012
נושאים:
Computer systems > Verification.
Computer software > Verification.
גישה מקוונת:http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

אינטרנט

http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

DCS

פרטי מלאי ספרים מ DCS
סימן המיקום: 51 BAI
עותק סטטוס עדכני לא זמין

פריטים דומים