Assertions in Programming: From Scientific Theory to Engineering Practice

Assertions in Programming: From Scientific Theory to Engineering Practice

अन्य संस्करण दिखाएं (1)

ग्रंथसूची विवरण
मुख्य लेखक:	Hoare, C
स्वरूप:	Conference item
प्रकाशित:	Springer 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)