Skip to content
VuFind
שפה
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
כל השדות
כותר
מחבר
נושא
סימן המיקום
ISBN/ISSN
תג
מצא
מתקדם
Program construction and verif...
יצירת מראה מקום
שלח את זה
הדפסה
יצוא רשומה
יצוא אל RefWorks
יצוא אל EndNoteWeb
יצוא אל EndNote
permanent_link
טוען...
Program construction and verification
מידע ביבליוגרפי
מחבר ראשי:
Backhouse, Roland C; Author
פורמט:
Printed Book
יצא לאור:
London, Prentice-Hall International
1986
נושאים:
Computer programs
Programming (Electronic computers)
Verification
מלאי ספרים
תיאור
פריטים דומים
תצוגת צוות
MG University
פרטי מלאי ספרים מ MG University
סימן המיקום:
005.1
005.1 M61
עותק
סטטוס עדכני לא זמין
עותק
סטטוס עדכני לא זמין
פריטים דומים
Program construction and verification /
מאת: Backhouse, Roland C .
יצא לאור: (1986)
Foundation of program verification /
מאת: Loeckx, Jacques
יצא לאור: (1983)
Program verification using Ada
מאת: McGettrick, Andrew D; Author
יצא לאור: (1982)
Verification of sequential and concurrent programs /
מאת: Gries, David .
יצא לאור: (1991)
Current trends in hardware verification and automated theorem proving
מאת: Current trends in
יצא לאור: (1989)
טוען...