Proceedings of ACM conference on Proving assertions about programs
| Natura: | Elettronico eBook |
|---|---|
| Lingua: | inglese |
| Pubblicazione: |
Association for Computing Machinery (ACM),
1/6/72
|
| Soggetti: | |
| Accesso online: | Full text available on Research4Life (ACM) |
Documenti analoghi
Rights of the British Colonies Asserted & Proved
Rights of the British Colonies Asserted & Proved
Proving Up
di: Krall
di: Krall
Proving Grounds
di: Martini
di: Martini
Proving Ground
di: Slavishak
di: Slavishak
The assertive woman : new look /
di: Phelps Stanlee
Pubblicazione: (1987)
di: Phelps Stanlee
Pubblicazione: (1987)
Asserting Native Resilience
di: Parker
di: Parker
Couldn't Prove, Had to Promise
di: Prunty
di: Prunty
Women heroes and dalit assertion in north india : culture, identity and politics /
di: Narayan, Badri
Pubblicazione: (2006)
di: Narayan, Badri
Pubblicazione: (2006)
AboutOpen | AboutScience Srl
About Crows
di: Blais
di: Blais
About the Dead
di: Mossotti
di: Mossotti
About Writing
di: Delany
di: Delany
About Campus
About language : tasks for teachers of english /
di: Thornburn, Scott
Pubblicazione: (2017)
di: Thornburn, Scott
Pubblicazione: (2017)
Thinking About Love
di: Calcagno
di: Calcagno
Thinking about Oneself
di: Musholt
di: Musholt
Thinking about the Torah
di: Seeskin
di: Seeskin
Speaking about Torture
di: Weber
di: Weber
Thinking about Thinking
di: Peperzak
di: Peperzak
All about Skin
What about Darwin?
di: Glick
di: Glick
Wild About Weather
Arguing about war.
di: Walzer, Michael
Pubblicazione: (2005)
di: Walzer, Michael
Pubblicazione: (2005)
Writing about art.
di: Sayre, Henry M.
di: Sayre, Henry M.
Writing about art.
di: Sayre, Henry M.
di: Sayre, Henry M.
Writing about art.
di: Sayre, Henry M.
Pubblicazione: (2002)
di: Sayre, Henry M.
Pubblicazione: (2002)
Arguing about war.
di: Walzer, Michael
Pubblicazione: (2005)
di: Walzer, Michael
Pubblicazione: (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 /
di: Behar, Howard, et al.
Pubblicazione: (2009)
di: Behar, Howard, et al.
Pubblicazione: (2009)