מסגרת תפיסתית לבדיקה סטאטית של תכונות תיכון

יעקב אקל ; [בהנחיית יוסי גיל, שמואל כץ].

System Number: 002192108
Main Author: אקל, יעקב
Author(s): Eckel, Yacov
גיל, יוסי מנחה תיזה
כץ, שמואל מנחה תיזה
Gil, Joseph degree supervisor
Katz, Shmuel degree supervisor
Corporate Authors: הטכניון - מכון טכנולוגי לישראל. הפקולטה למדעי המחשב
הטכניון - מכון טכנולוגי לישראל. הפקולטה למדעי המחשב (תאר שני) מוסד מעניק תואר
Format: Thesis (MSc)
Language: Hebrew
Publication: חיפה : [חמו"ל], תשנ"ח 1998.
Subjects: