Зображення обкладинки

QR код

Specification and Proof in real- time CSP /

Збережено в:

Бібліографічні деталі
Автор:	Davis, Jim
Формат:	Книга
Мова:	Англійська
Опубліковано:	Cambridge : Press Sydicate, c1993.
Предмети:	Communicating Sequential Processes (computer Programs) Computer Programs.
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

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)

Pascal : understanding programming and problem solving /
за авторством: Nance, Douglas W.
Опубліковано: (1986)

Instructor's manual to accompany Pascal : understanding programming and problem solving /
за авторством: Nance, Douglas W.
Опубліковано: (1986)

Fundamental programming with FORTRAN 77 : a science and engineering approach /
за авторством: Starkey, J. Denbigh
Опубліковано: (1987)

Fundamental programming with FORTRAN 77 : a science and engineering approach /
за авторством: Starkey, J. Denbigh
Опубліковано: (1987)

Starting out with C /
за авторством: Gaddis, Tony
Опубліковано: (1998)

Fundamental programming with Pascal /
за авторством: Starkey, J. Denbigh
Опубліковано: (1984)

PDP - 11 : micro/PDP - 11 handbook.
Опубліковано: (1983)

Structuring techniques : an introduction using C /
за авторством: Staugaard, Andrew C.
Опубліковано: (1994)

Systems analysis & design methods /
за авторством: Whitten, Jeffrey L.
Опубліковано: (1994)

Introduction to languages and the theory of computation /
за авторством: Martin, John C.
Опубліковано: (1991)

Computers /
за авторством: Long, Larry
Опубліковано: (1996)

Computers /
за авторством: Long, Larry
Опубліковано: (1986)

Computers today /
за авторством: Sanders, Donald H.
Опубліковано: (1983)

Computers today /
за авторством: Murdock, Everett E.
Опубліковано: (1995)

Computers in society : an introduction to information processing /
за авторством: Sanders, Donald H.
Опубліковано: (1973)

Microcomputers : software & applications /
за авторством: Curtin, Dennis P.
Опубліковано: (1989)

A dictionary of computing. /
Опубліковано: (2008)

Observing interaction : an introduction to sequential analysis /
за авторством: Bakeman, Roger
Опубліковано: (1994)

Introduction to real-time software design /
за авторством: Allworth, S. T.
Опубліковано: (1987)

Computers, ethics, and society /
за авторством: Ermann, M.David
Опубліковано: (1997)

Software piracy exposed
за авторством: Honick, Ron
Опубліковано: (2005)

Wordstar.
Опубліковано: (1987)

Wordstar. : Reference manual.
Опубліковано: (1983)

Oxford dictionary of computing for learners of English.
Опубліковано: (1996)

IBM's personal computer /
за авторством: DeVoney, Chris
Опубліковано: (1983)

Research and development in expert system V11 /
за авторством: Addis, T.R
Опубліковано: (1990)

Computing essentials : multimedia edition1998-1999 /
за авторством: O'Leary, Timothy J.
Опубліковано: (1998)

Schaum's outline of theory and problems of ... /
за авторством: Scheid, Francis
Опубліковано: (1970)

The software directory for retailers.
Опубліковано: (1995)

A dictionary of computing.
Опубліковано: (1996)

Computing essentials /
за авторством: Cassel, Don
Опубліковано: (1994)

Computing essentials : multimedia edition 1997-1998 /
за авторством: O'Leary, Timothy J.
Опубліковано: (1997)

How to boss your fonts around /
за авторством: Williams, Robin
Опубліковано: (1994)

Laboratory manual for use with computers the user perspective /
за авторством: Hutchinson, Sarah E.
Опубліковано: (1980)

Introduction to computer architecture.
Опубліковано: (1980)