Specification and Proof in real- time CSP /
Збережено в:
Автор: | Davis, Jim |
---|---|
Формат: | Книга |
Мова: | Англійська |
Опубліковано: |
Cambridge :
Press Sydicate,
c1993.
|
Предмети: | |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Схожі ресурси
SPSS for windows step by step : a simple guide and reference /
за авторством: George, Darren
Опубліковано: (2001)
за авторством: George, Darren
Опубліковано: (2001)
Word for windows 95 secrets /
за авторством: Lowe, Doug
Опубліковано: (1995)
за авторством: Lowe, Doug
Опубліковано: (1995)
Computers concepts and applications : with BASIC /
за авторством: Sanders, Donald H.
Опубліковано: (1987)
за авторством: Sanders, Donald H.
Опубліковано: (1987)
Word 6 for windows for dummies /
за авторством: Gookin, Dan
Опубліковано: (1994)
за авторством: Gookin, Dan
Опубліковано: (1994)
Technical report : guide to standard mathematica packages.
Опубліковано: (1993)
Опубліковано: (1993)
Pascal : understanding programming and problem solving /
за авторством: Nance, Douglas W.
Опубліковано: (1986)
за авторством: Nance, Douglas W.
Опубліковано: (1986)
Instructor's manual to accompany Pascal : understanding programming and problem solving /
за авторством: Nance, Douglas W.
Опубліковано: (1986)
за авторством: Nance, Douglas W.
Опубліковано: (1986)
Fundamental programming with FORTRAN 77 : a science and engineering approach /
за авторством: Starkey, J. Denbigh
Опубліковано: (1987)
за авторством: Starkey, J. Denbigh
Опубліковано: (1987)
Fundamental programming with FORTRAN 77 : a science and engineering approach /
за авторством: Starkey, J. Denbigh
Опубліковано: (1987)
за авторством: Starkey, J. Denbigh
Опубліковано: (1987)
Starting out with C /
за авторством: Gaddis, Tony
Опубліковано: (1998)
за авторством: Gaddis, Tony
Опубліковано: (1998)
Fundamental programming with Pascal /
за авторством: Starkey, J. Denbigh
Опубліковано: (1984)
за авторством: Starkey, J. Denbigh
Опубліковано: (1984)
PDP - 11 : micro/PDP - 11 handbook.
Опубліковано: (1983)
Опубліковано: (1983)
Structuring techniques : an introduction using C /
за авторством: Staugaard, Andrew C.
Опубліковано: (1994)
за авторством: Staugaard, Andrew C.
Опубліковано: (1994)
Systems analysis & design methods /
за авторством: Whitten, Jeffrey L.
Опубліковано: (1994)
за авторством: Whitten, Jeffrey L.
Опубліковано: (1994)
Introduction to languages and the theory of computation /
за авторством: Martin, John C.
Опубліковано: (1991)
за авторством: Martin, John C.
Опубліковано: (1991)
Computers /
за авторством: Long, Larry
Опубліковано: (1996)
за авторством: Long, Larry
Опубліковано: (1996)
Computers /
за авторством: Long, Larry
Опубліковано: (1986)
за авторством: Long, Larry
Опубліковано: (1986)
Computers today /
за авторством: Sanders, Donald H.
Опубліковано: (1983)
за авторством: Sanders, Donald H.
Опубліковано: (1983)
Computers today /
за авторством: Murdock, Everett E.
Опубліковано: (1995)
за авторством: Murdock, Everett E.
Опубліковано: (1995)
Computers in society : an introduction to information processing /
за авторством: Sanders, Donald H.
Опубліковано: (1973)
за авторством: Sanders, Donald H.
Опубліковано: (1973)
Microcomputers : software & applications /
за авторством: Curtin, Dennis P.
Опубліковано: (1989)
за авторством: Curtin, Dennis P.
Опубліковано: (1989)
A dictionary of computing. /
Опубліковано: (2008)
Опубліковано: (2008)
Observing interaction : an introduction to sequential analysis /
за авторством: Bakeman, Roger
Опубліковано: (1994)
за авторством: Bakeman, Roger
Опубліковано: (1994)
Introduction to real-time software design /
за авторством: Allworth, S. T.
Опубліковано: (1987)
за авторством: Allworth, S. T.
Опубліковано: (1987)
Computers, ethics, and society /
за авторством: Ermann, M.David
Опубліковано: (1997)
за авторством: Ermann, M.David
Опубліковано: (1997)
Software piracy exposed
за авторством: Honick, Ron
Опубліковано: (2005)
за авторством: Honick, Ron
Опубліковано: (2005)
Wordstar.
Опубліковано: (1987)
Опубліковано: (1987)
Wordstar. : Reference manual.
Опубліковано: (1983)
Опубліковано: (1983)
Oxford dictionary of computing for learners of English.
Опубліковано: (1996)
Опубліковано: (1996)
IBM's personal computer /
за авторством: DeVoney, Chris
Опубліковано: (1983)
за авторством: DeVoney, Chris
Опубліковано: (1983)
Research and development in expert system V11 /
за авторством: Addis, T.R
Опубліковано: (1990)
за авторством: Addis, T.R
Опубліковано: (1990)
Computing essentials : multimedia edition1998-1999 /
за авторством: O'Leary, Timothy J.
Опубліковано: (1998)
за авторством: O'Leary, Timothy J.
Опубліковано: (1998)
Schaum's outline of theory and problems of ... /
за авторством: Scheid, Francis
Опубліковано: (1970)
за авторством: Scheid, Francis
Опубліковано: (1970)
The software directory for retailers.
Опубліковано: (1995)
Опубліковано: (1995)
A dictionary of computing.
Опубліковано: (1996)
Опубліковано: (1996)
Computing essentials /
за авторством: Cassel, Don
Опубліковано: (1994)
за авторством: Cassel, Don
Опубліковано: (1994)
Computing essentials : multimedia edition 1997-1998 /
за авторством: O'Leary, Timothy J.
Опубліковано: (1997)
за авторством: O'Leary, Timothy J.
Опубліковано: (1997)
How to boss your fonts around /
за авторством: Williams, Robin
Опубліковано: (1994)
за авторством: Williams, Robin
Опубліковано: (1994)
Laboratory manual for use with computers the user perspective /
за авторством: Hutchinson, Sarah E.
Опубліковано: (1980)
за авторством: Hutchinson, Sarah E.
Опубліковано: (1980)
Introduction to computer architecture.
Опубліковано: (1980)
Опубліковано: (1980)
Схожі ресурси
-
SPSS for windows step by step : a simple guide and reference /
за авторством: George, Darren
Опубліковано: (2001) -
Word for windows 95 secrets /
за авторством: Lowe, Doug
Опубліковано: (1995) -
Computers concepts and applications : with BASIC /
за авторством: Sanders, Donald H.
Опубліковано: (1987) -
Word 6 for windows for dummies /
за авторством: Gookin, Dan
Опубліковано: (1994) -
Technical report : guide to standard mathematica packages.
Опубліковано: (1993)