C A R Hoare | کتابکو

نتایج جستجو

برای C A R Hoare، صفحه ۲ از ۴ در بین ۸۸ کتاب.

PDF

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), 1999

DJVU

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), 1999

PDF

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), 1999

PDF

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), 1999

PDF

Erikson on development in adulthood : new insights from the unpublished papers

Erikson on development in adulthood : new insights from the unpublished papers

Hoare, Carol Hren, 2002

PDF

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Tony Hoare (auth.), 2012

PDF

Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings

Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings

Tony Hoare (auth.), 2000

PDF

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Tony Hoare (auth.), 2003

PDF

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Tony Hoare (auth.), 2003

PDF

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Tony Hoare, 2008

PDF

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Tony Hoare, 2008

PDF

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

C. A. R. Hoare (auth.), 1999

PDF

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

C. A. R. Hoare (auth.), 1999

PDF

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Jayadev Misra (auth.), 1989

DJVU

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Jayadev Misra (auth.), 1989

PDF

Hints on programming language design

Hints on programming language design

Charles Anthony Richard Hoare, 1973

DJVU

International Symposium on Theoretical Programming

International Symposium on Theoretical Programming

C. A. R. Hoare (auth.), 1974

PDF

International Symposium on Theoretical Programming

International Symposium on Theoretical Programming

C. A. R. Hoare (auth.), 1974

PDF

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Richard S. Bird (auth.), 1987

DJVU

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Richard S. Bird (auth.), 1987

DJVU

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

C. A. R. Hoare (auth.), 1996

DJVU

Unifying theories of programming

Unifying theories of programming

Hoare C.A.R., 1998

DJVU

Unifying theories of programming

Unifying theories of programming

C.A.R. Hoare, 1998

DJVU

Unifying theories of programming

Unifying theories of programming

C.A.R. Hoare, 1998

DJVU

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

C. A. R. Hoare (auth.), 1989

|< ۱ ۲ ۳ ۴ >|

دانلود کتاب | کتاب ها | نرم افزارهای مفید

کتابکو چگونه کار می کند | درخواست حذف اثر | راهنمای کسب امتیاز | سیاست حفظ حریم خصوصی | سیاست ضد هرزنامه

کپی رایت ۲۰۱۴ تا ۲۰۲۵, ketabkoo.com (کتابکو) | ارتباط با ما

تمامی كالاها و خدمات این سایت، حسب مورد، دارای مجوزهای لازم از مراجع مربوطه می باشند و فعالیت‌های این سایت تابع قوانین و مقررات جمهوری اسلامی ایران است.