Proceedings of ACM conference on Proving assertions about programs
| フォーマット: | 電子媒体 eBook |
|---|---|
| 言語: | 英語 |
| 出版事項: |
Association for Computing Machinery (ACM),
1/6/72
|
| 主題: | |
| オンライン･アクセス: | Full text available on Research4Life (ACM) |
類似資料
Rights of the British Colonies Asserted & Proved
Rights of the British Colonies Asserted & Proved
Proving Up
著者:: Krall
著者:: Krall
Proving Grounds
著者:: Martini
著者:: Martini
Proving Ground
著者:: Slavishak
著者:: Slavishak
The assertive woman : new look /
著者:: Phelps Stanlee
出版事項: (1987)
著者:: Phelps Stanlee
出版事項: (1987)
Asserting Native Resilience
著者:: Parker
著者:: Parker
Couldn't Prove, Had to Promise
著者:: Prunty
著者:: Prunty
Women heroes and dalit assertion in north india : culture, identity and politics /
著者:: Narayan, Badri
出版事項: (2006)
著者:: Narayan, Badri
出版事項: (2006)
AboutOpen | AboutScience Srl
About Crows
著者:: Blais
著者:: Blais
About the Dead
著者:: Mossotti
著者:: Mossotti
About Writing
著者:: Delany
著者:: Delany
About Campus
About language : tasks for teachers of english /
著者:: Thornburn, Scott
出版事項: (2017)
著者:: Thornburn, Scott
出版事項: (2017)
Thinking About Love
著者:: Calcagno
著者:: Calcagno
Thinking about Oneself
著者:: Musholt
著者:: Musholt
Thinking about the Torah
著者:: Seeskin
著者:: Seeskin
Speaking about Torture
著者:: Weber
著者:: Weber
Thinking about Thinking
著者:: Peperzak
著者:: Peperzak
All about Skin
What about Darwin?
著者:: Glick
著者:: Glick
Wild About Weather
Arguing about war.
著者:: Walzer, Michael
出版事項: (2005)
著者:: Walzer, Michael
出版事項: (2005)
Writing about art.
著者:: Sayre, Henry M.
著者:: Sayre, Henry M.
Writing about art.
著者:: Sayre, Henry M.
著者:: Sayre, Henry M.
Writing about art.
著者:: Sayre, Henry M.
出版事項: (2002)
著者:: Sayre, Henry M.
出版事項: (2002)
Arguing about war.
著者:: Walzer, Michael
出版事項: (2005)
著者:: Walzer, Michael
出版事項: (2005)
Proceedings of the ACM on Programming Languages
Proceedings of the 1988 ACM conference on LISP and functional programming
Proceedings of the 1992 ACM conference on LISP and functional programming
Proceedings of the 1994 ACM conference on LISP and functional programming
Proceedings of the 1980 ACM conference on LISP and functional programming
Proceedings of the 1990 ACM conference on LISP and functional programming
Proceedings of the 1986 ACM conference on LISP and functional programming
It's not about the coffee : lessons on putting people first from a life at starbucks /
著者:: Behar, Howard, 等
出版事項: (2009)
著者:: Behar, Howard, 等
出版事項: (2009)