Assertions in Programming: From Scientific Theory to Engineering Practice

Assertions in Programming: From Scientific Theory to Engineering Practice

他のバージョン（1件）を表示する

書誌詳細
第一著者:	Hoare, C
フォーマット:	Record
出版事項:	2002

類似資料

Assertions in Programming: From Scientific Theory to Engineering Practice
著者:: Hoare, C
出版事項: (2002)

Assertions in Modern Software Engineering Practice
著者:: Hoare, C
出版事項: (2002)

Assert Early‚ Assert Often
著者:: Hoare, C
出版事項: (2002)

Assertions
著者:: Hoare, C
出版事項: (2000)

Growing Use of Assertions
著者:: Hoare, C
出版事項: (2001)

Assertions: A Personal Perspective
著者:: Hoare, C
出版事項: (2001)

Assertions: A Personal Perspective
著者:: Hoare, C
出版事項: (2003)

The assertive trainer : a practical handbook on assertiveness for trainers and running assertiveness course /
著者:: 466767 Willis, Liz, 等
出版事項: (1995)

The Effect of Assertiveness Training Program on Nurses
著者:: Amol Kanade
出版事項: (2018-07-01)

Automated assessment of biological database assertions using the scientific literature
著者:: Mohamed Reda Bouadjenek, 等
出版事項: (2019-04-01)

THE ASSERTIVENESS OF PEOPLE WHO PRACTICE KARATE
著者:: Szark-Eckardt Miroslawa, 等
出版事項: (2012-04-01)

Assertive community treatment in UK practice. Revisiting... Setting up an assertive community treatment team
著者:: Kent, A, 等
出版事項: (2005)

Imposing assertions in Maude via program transformation
著者:: María Alpuente, 等
出版事項: (2019-01-01)

Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability
著者:: Meyer, Albert R., 等
出版事項: (2023)

From aggressive to assertive,
著者:: Mary E. Maloney, MD, 等
出版事項: (2020-01-01)

Unified Theories of Programming
著者:: Hoare, C
出版事項: (2015)

Programming is an Engineering Profession
著者:: Hoare, C
出版事項: (1983)

A practical guide for system Verilog assertions /
著者:: 229536 Vijayaraghavan, Srikanth, 等
出版事項: (2005)

A practical guide for system Verilog assertions /
著者:: 229536 Vijayaraghavan, Srikanth, 等
出版事項: (2005)

Effect of Assertiveness Training on Adaptive and Aggressive Assertiveness in Nurses
著者:: Gila Shaikhpoor, 等
出版事項: (2020-08-01)

Computer Programming as an Engineering Discipline
著者:: Hoare, C
出版事項: (1973)

Establishing a distributed system for the simple representation and integration of diverse scientific assertions
著者:: Samwald Matthias, 等
出版事項: (2010-06-01)

Training for assertiveness /
著者:: 211338 Seifert, Lucy
出版事項: (1995)

Assertive outreach
著者:: Firn, M, 等
出版事項: (2004)

AI assertion
著者:: Butlin, P, 等
出版事項: (2024)

Knowing and asserting
著者:: Williamson, T
出版事項: (1996)

The assertiveness pocketbook /
著者:: Eggert, Max A. 236794
出版事項: (1994)

Assertiveness for managers /
著者:: 435309 Gillen, Terry
出版事項: (1992)

The assertive librarian
著者:: 246118 Caputo, Jonette S.
出版事項: (1984)

Certainty and Assertion
著者:: Jacques-Henri Vollet
出版事項: (2022-11-01)

From scientific theory to classroom practice.
著者:: Dommett, E, 等
出版事項: (2011)

Unifying theories of programming
著者:: He, J, 等
出版事項: (1998)

To be assertive or not to be assertive: That is the question! Students' reactions to sexual harassment in academia
著者:: Cristina Cabras, 等
出版事項: (2022-09-01)

The effect of assertive training on degree of anxiety and assertiveness of nursing students
著者:: Q.Mahmoudi (M.Sc), 等
出版事項: (2004-09-01)

Towards a Theory of Parallel Programming
著者:: Hoare, C
出版事項: (1972)

Asserting yourself: a practical guide for positive change/
著者:: 301558 Bower, Susan A.
出版事項: (1991)

Asserting yourself : a practical guide for positive change/
著者:: 304445 Bower, Sharon Anthony, 等
出版事項: (1984)

Assertive and Non-assertive Consumer Behavior Styles in Relation with Advertising Appeals
著者:: Adriana Manolică, 等
出版事項: (2019-01-01)

Linking Theories in Probabilistic Programming
著者:: He, J, 等
出版事項: (1999)

Unifying Theories for Parallel Programming
著者:: Hoare, C, 等
出版事項: (1997)