Specification and Proof in real- time CSP /
Uloženo v:
Hlavní autor: | Davis, Jim |
---|---|
Médium: | Kniha |
Jazyk: | angličtina |
Vydáno: |
Cambridge :
Press Sydicate,
c1993.
|
Témata: | |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
SPSS for windows step by step : a simple guide and reference /
Autor: George, Darren
Vydáno: (2001)
Autor: George, Darren
Vydáno: (2001)
Word for windows 95 secrets /
Autor: Lowe, Doug
Vydáno: (1995)
Autor: Lowe, Doug
Vydáno: (1995)
Computers concepts and applications : with BASIC /
Autor: Sanders, Donald H.
Vydáno: (1987)
Autor: Sanders, Donald H.
Vydáno: (1987)
Word 6 for windows for dummies /
Autor: Gookin, Dan
Vydáno: (1994)
Autor: Gookin, Dan
Vydáno: (1994)
Technical report : guide to standard mathematica packages.
Vydáno: (1993)
Vydáno: (1993)
Instructor's manual to accompany Pascal : understanding programming and problem solving /
Autor: Nance, Douglas W.
Vydáno: (1986)
Autor: Nance, Douglas W.
Vydáno: (1986)
Fundamental programming with FORTRAN 77 : a science and engineering approach /
Autor: Starkey, J. Denbigh
Vydáno: (1987)
Autor: Starkey, J. Denbigh
Vydáno: (1987)
Fundamental programming with Pascal /
Autor: Starkey, J. Denbigh
Vydáno: (1984)
Autor: Starkey, J. Denbigh
Vydáno: (1984)
Starting out with C /
Autor: Gaddis, Tony
Vydáno: (1998)
Autor: Gaddis, Tony
Vydáno: (1998)
Pascal : understanding programming and problem solving /
Autor: Nance, Douglas W.
Vydáno: (1986)
Autor: Nance, Douglas W.
Vydáno: (1986)
Fundamental programming with FORTRAN 77 : a science and engineering approach /
Autor: Starkey, J. Denbigh
Vydáno: (1987)
Autor: Starkey, J. Denbigh
Vydáno: (1987)
PDP - 11 : micro/PDP - 11 handbook.
Vydáno: (1983)
Vydáno: (1983)
Structuring techniques : an introduction using C /
Autor: Staugaard, Andrew C.
Vydáno: (1994)
Autor: Staugaard, Andrew C.
Vydáno: (1994)
Systems analysis & design methods /
Autor: Whitten, Jeffrey L.
Vydáno: (1994)
Autor: Whitten, Jeffrey L.
Vydáno: (1994)
Introduction to languages and the theory of computation /
Autor: Martin, John C.
Vydáno: (1991)
Autor: Martin, John C.
Vydáno: (1991)
Computers today /
Autor: Murdock, Everett E.
Vydáno: (1995)
Autor: Murdock, Everett E.
Vydáno: (1995)
Computers /
Autor: Long, Larry
Vydáno: (1986)
Autor: Long, Larry
Vydáno: (1986)
Computers /
Autor: Long, Larry
Vydáno: (1996)
Autor: Long, Larry
Vydáno: (1996)
Computers today /
Autor: Sanders, Donald H.
Vydáno: (1983)
Autor: Sanders, Donald H.
Vydáno: (1983)
Computers in society : an introduction to information processing /
Autor: Sanders, Donald H.
Vydáno: (1973)
Autor: Sanders, Donald H.
Vydáno: (1973)
Microcomputers : software & applications /
Autor: Curtin, Dennis P.
Vydáno: (1989)
Autor: Curtin, Dennis P.
Vydáno: (1989)
A dictionary of computing. /
Vydáno: (2008)
Vydáno: (2008)
Observing interaction : an introduction to sequential analysis /
Autor: Bakeman, Roger
Vydáno: (1994)
Autor: Bakeman, Roger
Vydáno: (1994)
Introduction to real-time software design /
Autor: Allworth, S. T.
Vydáno: (1987)
Autor: Allworth, S. T.
Vydáno: (1987)
Software piracy exposed
Autor: Honick, Ron
Vydáno: (2005)
Autor: Honick, Ron
Vydáno: (2005)
Computers, ethics, and society /
Autor: Ermann, M.David
Vydáno: (1997)
Autor: Ermann, M.David
Vydáno: (1997)
Wordstar.
Vydáno: (1987)
Vydáno: (1987)
Wordstar. : Reference manual.
Vydáno: (1983)
Vydáno: (1983)
Oxford dictionary of computing for learners of English.
Vydáno: (1996)
Vydáno: (1996)
IBM's personal computer /
Autor: DeVoney, Chris
Vydáno: (1983)
Autor: DeVoney, Chris
Vydáno: (1983)
Research and development in expert system V11 /
Autor: Addis, T.R
Vydáno: (1990)
Autor: Addis, T.R
Vydáno: (1990)
Computing essentials : multimedia edition1998-1999 /
Autor: O'Leary, Timothy J.
Vydáno: (1998)
Autor: O'Leary, Timothy J.
Vydáno: (1998)
Schaum's outline of theory and problems of ... /
Autor: Scheid, Francis
Vydáno: (1970)
Autor: Scheid, Francis
Vydáno: (1970)
Laboratory manual for use with computers : The user perspective /
Autor: Hutchinson, Sarah E.
Vydáno: (1990)
Autor: Hutchinson, Sarah E.
Vydáno: (1990)
Introduction to computer architecture.
Vydáno: (1980)
Vydáno: (1980)
Laboratory manual for use with computers the user perspective /
Autor: Hutchinson, Sarah E.
Vydáno: (1980)
Autor: Hutchinson, Sarah E.
Vydáno: (1980)
Podobné jednotky
-
SPSS for windows step by step : a simple guide and reference /
Autor: George, Darren
Vydáno: (2001) -
Word for windows 95 secrets /
Autor: Lowe, Doug
Vydáno: (1995) -
Computers concepts and applications : with BASIC /
Autor: Sanders, Donald H.
Vydáno: (1987) -
Word 6 for windows for dummies /
Autor: Gookin, Dan
Vydáno: (1994) -
Technical report : guide to standard mathematica packages.
Vydáno: (1993)