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
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол

מתקדם

Occam in the specification and...

יצירת מראה מקום
שליחה במסרון
שלח את זה
הדפסה
יצוא רשומה
Permanent link

Occam in the specification and verification of microprocessors

Occam in the specification and verification of microprocessors

מידע ביבליוגרפי
מחבר ראשי:	Roscoe, A
פורמט:	Journal article
יצא לאור:	1992

מלאי ספרים
תיאור
פריטים דומים
תצוגת צוות

תיאור
סיכום:

פריטים דומים

Denotational semantics for occam
מאת: Roscoe, A
יצא לאור: (1985)
Laws of Occam Programming
מאת: Roscoe, A, et al.
יצא לאור: (1986)
Transformation of occam programs
מאת: Goldsmith, M, et al.
יצא לאור: (1988)
The Laws of Occam Programming
מאת: Roscoe, A, et al.
יצא לאור: (1988)
The laws of occam programming
מאת: Roscoe, A, et al.
יצא לאור: (1988)

אפשרויות חיפוש

חיפושים קודמים
חיפוש מתקדם

מצא עוד

דפדוף בקטלוג
דפדוף בסדר אלפבתי
Explore Channels
שמורות לקורס
פריטים חדשים

צריכים עזרה?

טיפים לחיפוש
לשאול ספרן/ית
שאלות נפוצות