מאגר מידע בנושאי מחשבים ומדעים מדויקים
שפות תיכנות
שפת C#
שפת C
שפת C++
Java
אסמבלר
SQL
שפות פונקציונליות
Python
Perl
DirectX
Visual Basic
פסקל
mIRC Scripts
שונות
בניית אתרים
HTML
DHTML
ASP
ASP.Net
PHP
קידום אתרים
שונות
אבטחת מידע ו-IT
Web Security
אנונימיות, פרטיות וחוק ברשת האינטרנט
קריפטוגרפיה
הנדסה לאחור (reversing)
אבטחת ססמאות
אבטחת מידע - כללי
טרוינים ווירוסים
אבטחת Windows
מגזין IKP
מערכות ההפעלה Unix/Linux
מערכת ההפעלה DOS
מערכות הפעלה - כללי
מערכת ההפעלה XINU
חומרה
רשתות
פרוטוקולים - השכבה הפיסית
פרוטוקולים - שכבת האפליקציה
עולם ה-Web
צ'טים
מדריכי תוכנות
משחקים
מיקרואלקטרוניקה
מגזין Digital Whisper
:
Digital Whisper - גליונות מלאים
Digital Whisper - הגליון הראשון
Digital Whisper - הגליון השני
Digital Whisper - הגליון השלישי
Digital Whisper - הגליון הרביעי
Digital Whisper - הגליון החמישי
Digital Whisper - הגליון השישי
Digital Whisper - הגליון השביעי
Digital Whisper - הגליון השמיני
Digital Whisper - הגליון התשיעי
Digital Whisper - הגליון העשירי
Digital Whisper - הגיליון האחד עשר
Digital Whisper - הגיליון השנים עשר
Digital Whisper - הגיליון השלושה עשר
Digital Whisper - הגיליון הארבעה עשר
Digital Whisper - הגיליון החמישה עשר
Digital Whisper - הגיליון השישה עשר
Digital Whisper - הגיליון השבעה עשר
Digital Whisper - הגיליון השמונה עשר
Digital Whisper - הגיליון התשעה עשר
Digital Whisper - הגיליון העשרים
Digital Whisper - הגיליון העשרים ואחד
Digital Whisper - הגיליון העשרים ושניים
Digital Whisper - הגיליון העשרים ושלושה
Digital Whisper - הגיליון העשרים וארבעה
Digital Whisper - הגיליון העשרים וחמישה
Digital Whisper - הגיליון העשרים ושישה
Digital Whisper - הגיליון העשרים ושבעה
Digital Whisper - הגיליון העשרים ושמונה
Digital Whisper - הגיליון העשרים ותשעה
Digital Whisper - הגיליון השלושים
Digital Whisper - הגיליון השלושים ואחד
Digital Whisper - הגיליון השלושים ושניים
Digital Whisper - הגיליון השלושים ושלושה
Digital Whisper - הגיליון השלושים וארבעה
מדעי המחשב
אלגוריתמים בתורת הגרפים
מבני נתונים
ביטויים רגולריים
לוגיקה
הנדסת תוכנה
אוטומטים ושפות פורמליות
שפות תכנות
בינה מלאכותית
מערכות לומדות
תכנות מונחה אספקטים
ניהול זיכרון דינמי
Design Patterns
תכנות מונחה עצמים
תורת החישוביות
עיבוד אותות
מתמטיקה
אלגברה מודרנית
אלגברה לינארית
מתמטיקה דיסקרטית
חשבון דיפרנציאלי ואינטגרלי
מבוא להסתברות והתפלגויות
משוואות דיפרנציאליות רגילות
משוואות דיפרנציאליות חלקיות
מתמטיקה תיכונית
אנליזה נומרית
טורי פורייה
תורת המשחקים
פונקציות מרוכבות
שונות
סטטיסטיקה
טופולוגיה
גיאומטריה
כלכלה
חקר ביצועים
פיסיקה
אלקטרוניקת הספק
פיסיקה תיכונית
פיסיקה 1
פיסיקה 2
פיסיקה קוונטית
מכניקה אנליטית
אלקטרומגנטיקה
פיסיקה 3
שונות
עמוד הבית
>
מדעי המחשב
>
הנדסת תוכנה
>
Z notation
Z notation
מאת
ניר אדר
סיכום
הועלה:
סוג מסמך:
מסמך מודפס
עמודים:
14
הורדות:
1857
מבוא לשפת המפרט
Z
. המסמך מראה כיצד מגדירים קבוצות וסדרות ב-
Z
, ומציג את המבנה של סכימת
Z.
תגיות:
Z
מפרטים פורמליים
אין תגובות!
דיווח על הפרת זכויות יוצרים
קישורים רלוונטיים:
מדעי המחשב
שיתוף:
|
עוד