Assertions in Programming: From Scientific Theory to Engineering Practice

Assertions in Programming: From Scientific Theory to Engineering Practice

Show other versions (1)

Bibliographic Details
Main Author:	Hoare, C
Format:	Conference item
Published:	Springer 2002

Similar Items

Assertions in Programming: From Scientific Theory to Engineering Practice
by: Hoare, C
Published: (2002)

Assertions in Modern Software Engineering Practice
by: Hoare, C
Published: (2002)

Assert Early‚ Assert Often
by: Hoare, C
Published: (2002)

Assertions
by: Hoare, C
Published: (2000)

Growing Use of Assertions
by: Hoare, C
Published: (2001)

Assertions: A Personal Perspective
by: Hoare, C
Published: (2003)

Assertions: A Personal Perspective
by: Hoare, C
Published: (2001)

The assertive trainer : a practical handbook on assertiveness for trainers and running assertiveness course /
by: 466767 Willis, Liz, et al.
Published: (1995)

Automated assessment of biological database assertions using the scientific literature
by: Mohamed Reda Bouadjenek, et al.
Published: (2019-04-01)

THE ASSERTIVENESS OF PEOPLE WHO PRACTICE KARATE
by: Szark-Eckardt Miroslawa, et al.
Published: (2012-04-01)

Assertive community treatment in UK practice. Revisiting... Setting up an assertive community treatment team
by: Kent, A, et al.
Published: (2005)

Imposing assertions in Maude via program transformation
by: María Alpuente, et al.
Published: (2019-01-01)

Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability
by: Meyer, Albert R., et al.
Published: (2023)

From aggressive to assertive,
by: Mary E. Maloney, MD, et al.
Published: (2020-01-01)

A practical guide for system Verilog assertions /
by: 229536 Vijayaraghavan, Srikanth, et al.
Published: (2005)

A practical guide for system Verilog assertions /
by: 229536 Vijayaraghavan, Srikanth, et al.
Published: (2005)

Unified Theories of Programming
by: Hoare, C
Published: (2015)

Programming is an Engineering Profession
by: Hoare, C
Published: (1983)

Effectiveness of Anger Management and Assertiveness Practices on Reducing Risky Behaviors and Increasing Assertiveness in Mothers of Children with Neurodevelopmental Disorders
by: Mina Ghaffari Jam
Published: (2021-02-01)

Establishing a distributed system for the simple representation and integration of diverse scientific assertions
by: Samwald Matthias, et al.
Published: (2010-06-01)

Knowing and asserting
by: Williamson, T
Published: (1996)

Assertive outreach
by: Firn, M, et al.
Published: (2004)

The assertiveness pocketbook /
by: Eggert, Max A. 236794
Published: (1994)

Assertiveness for managers /
by: 435309 Gillen, Terry
Published: (1992)

The assertive librarian
by: 246118 Caputo, Jonette S.
Published: (1984)

Training for assertiveness /
by: 211338 Seifert, Lucy
Published: (1995)

Certainty and Assertion
by: Jacques-Henri Vollet
Published: (2022-11-01)

AI assertion
by: Butlin, P, et al.
Published: (2024)

Independence as an Assertion
by: Maximilian Steinbeis

Computer Programming as an Engineering Discipline
by: Hoare, C
Published: (1973)

To be assertive or not to be assertive: That is the question! Students' reactions to sexual harassment in academia
by: Cristina Cabras, et al.
Published: (2022-09-01)

The effect of assertive training on degree of anxiety and assertiveness of nursing students
by: Q.Mahmoudi (M.Sc), et al.
Published: (2004-09-01)

From scientific theory to classroom practice.
by: Dommett, E, et al.
Published: (2011)

Asserting yourself : a practical guide for positive change/
by: 304445 Bower, Sharon Anthony, et al.
Published: (1984)

Asserting yourself: a practical guide for positive change/
by: 301558 Bower, Susan A.
Published: (1991)

Unifying theories of programming
by: He, J, et al.
Published: (1998)

Towards a Theory of Parallel Programming
by: Hoare, C
Published: (1972)

Assertive and Non-assertive Consumer Behavior Styles in Relation with Advertising Appeals
by: Adriana Manolică, et al.
Published: (2019-01-01)

Asserting authorial identity through stance and voice: Expert vs. novice scientific writers
by: Hamdan, Nurul Naimmah, et al.
Published: (2023)

Effectiveness of Assertive Skills Training on Improvement of Assertion and Self-esteem of Third to Fifth Grade Low-assertive Girl Students in Tehran
by: Y. Rezapour Mirsaleh, et al.
Published: (2013-02-01)