Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review]

Computer ◽

10.1109/mc.2002.1033032 ◽

2002 ◽

Vol 35 (9) ◽

pp. 81-81 ◽

Keyword(s):

Software Engineers

Download Full-text

Book Review of Discrete Mathematics: An Introduction for Software Engineers, by Mike Piff

ACM SIGPLAN Notices ◽

10.1145/131080.891742 ◽

1992 ◽

Vol 27 (4) ◽

pp. 10

Author(s):

James Bret Michael

Keyword(s):

Discrete Mathematics ◽

Software Engineers

Download Full-text

BOOK REVIEW: "FUNDAMENTALS OF COMPUTING FOR SOFTWARE ENGINEERS", by Eric S. Chan and Murat M. Tanik

International Journal of Software Engineering and Knowledge Engineering ◽

10.1142/s021819409100010x ◽

1991 ◽

Vol 01 (01) ◽

pp. 115-116

Author(s):

VLADIK KREINOVICH

Keyword(s):

Software Engineers

Download Full-text

Book Review: Sustaining Social Security in an Era of Population Aging John A. Turner, W. E., Upjohn Institute for Employment Research, Kalamazoo, Michigan, United States.

Journal of Pension Economics and Finance ◽

10.1017/s1474747220000219 ◽

2020 ◽

Vol 19 (4) ◽

pp. 576-577

Author(s):

A Webb

Keyword(s):

United States ◽

Social Security ◽

Population Aging

Download Full-text

Book Review: Language Processing of Bilingual Children

Perspectives on Communication Disorders and Sciences in Culturally and Linguistically Diverse Populations ◽

10.1044/cds3.2.16 ◽

1997 ◽

Vol 3 (2) ◽

pp. 16-18

Author(s):

Alejandro Brice

Keyword(s):

Language Processing ◽

Bilingual Children

Download Full-text

Book Review

European Journal of Anaesthesiology ◽

10.1046/j.1365-2346.1999.00433.x ◽

1999 ◽

Vol 16 (1) ◽

pp. 71

Author(s):

A. M. Heagerty

Download Full-text

Book Review

Health & Social Care in the Community ◽

10.1046/j.1365-2524.2000.00218-8.x ◽

2000 ◽

Vol 8 (1) ◽

pp. 85-85

Download Full-text

Book review

Health & Social Care in the Community ◽

10.1046/j.1365-2524.2000.00218-6.x ◽

2000 ◽

Vol 8 (1) ◽

pp. 84-84

Download Full-text

Book review

Journal of Biogeography ◽

10.1046/j.1365-2699.2000.00405-5.x ◽

2000 ◽

Vol 27 (1) ◽

pp. 230-231

Author(s):

Fabrice Renaud

Download Full-text

Book review

Journal of Biogeography ◽

10.1046/j.1365-2699.2000.00405-3.x ◽

2000 ◽

Vol 27 (1) ◽

pp. 228-229

Author(s):

Jarrod M. Thaxton

Download Full-text

Book Review

International Journal of Dermatology ◽

10.1046/j.1365-4362.1997.d01-735.x ◽

1997 ◽

Vol 36 (6) ◽

pp. 478-478

Download Full-text