Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /

שמור ב:
מידע ביבליוגרפי
מחבר תאגידי: CAV (Conference) Åalborg, Denmark)
מחברים אחרים: Larsen, K. G. (Kim G.), 1957-, Skou, A. (Arne), 1948-
פורמט: Conference Proceeding ספר
שפה:English
יצא לאור: Berlin ; New York : Springer-Verlag, c1992.
סדרה:Lecture notes in computer science ; 575.
נושאים:
Computer software > Verification > Congresses.
Electronic digital computers > Evaluation > Congresses.
תיאור
תיאור פיזי:x, 487 p. : ill. ; 25 cm.
ביבליוגרפיה:Includes bibliographical references.
ISBN:0387551794
3540551794

פריטים דומים