Principles of model checking

Principles of model checking

מידע ביבליוגרפי
מחבר ראשי: Baier, Christel
מחברים אחרים: Katoen, Joost-Pieter
פורמט: ספר
שפה:English
יצא לאור: Cambridge, Mass. MIT Press [2008?]
נושאים:
Computer systems > Verification.
Computer software > Verification.
גישה מקוונת:Table of contents only