The foundations of program verification /

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Loeckx, Jacques, 1931-
מחברים אחרים: Sieber, Kurt, Stansifer, Ryan D.
פורמט: ספר
שפה:English
יצא לאור: Stuttgart [Germany] : Chichester ; New York : B.G. Teubner ; Wiley, c1984.
סדרה:Wiley-Teubner series in computer science
נושאים:

CARM 1 Store

פרטי מלאי ספרים מ CARM 1 Store
סימן המיקום: A2:AG36F0 C02746
עותק 1 זמין  ביצוע הזמנה