Անցեք բովանդակությանը

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
- Монгол

Ընդլայնված

The Meaning and Implementation...

Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Մշտական հղում

The Meaning and Implementation of SKIP in CSP

The Meaning and Implementation of SKIP in CSP

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Gibson−Robinson, T, Goldsmith, M
Ձևաչափ:	Conference item
Հրապարակվել է:	2013

Պահումներ
Նկարագրություն
Նմանատիպ նյութեր
Աշխատակազմի տեսք

Նմանատիպ նյութեր

Tyger: A Tool for Automatically Simulating CSP−Like Languages in CSP
‌: Gibson−Robinson, T
Հրապարակվել է: (2010)
Taking quotients in CSP
‌: Goldsmith, M
Հրապարակվել է: (2006)
Implementing Data−Independence: Symbolic Operational Semantics for CSP_M
‌: Goldsmith, M, և այլն
Հրապարակվել է: (2002)
Efficient Simulation of CSP−Like Languages
‌: Gibson−Robinson, T
Հրապարակվել է: (2013)
Symmetry reduction in CSP model checking
‌: Gibson-Robinson, T, և այլն
Հրապարակվել է: (2019)

Որոնման ընտրանքներ

Որոնման պատմություն
Ընդլայնված որոնում

Գտեք ավելին

Թերթիր քարտարանը
Թերթիր այբբենական կարգով
Ուսումնասիրեք ալիքները
Դասընթացի պահուստներ
Նոր նյութեր

Օգնության կարիք ունե՞ք։

Որոնման հնարքներ
Հարցրեք գրադարանավարին
FAQs