کتاب های Martín Abadi

کتاب های نویسنده

صفحه ۱ از ۱ در بین ۲۴ کتاب.

PDF

A theory of Objects

A theory of Objects

Martín Abadi, Luca Cardelli, 1996

DJVU

A theory of objects

A theory of objects

Martín Abadi, Luca Cardelli, 1996

DJVU

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.), 1992

DJVU

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.), 1990

PDF

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.), 2012

DJVU

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.), 1989

PDF

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.), 1989

PDF

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Martín Abadi, 1992

PDF

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Martín Abadi, 2009

PDF

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Martín Abadi, 2009

PDF

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Martín Abadi (auth.), 1999

PDF

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Martín Abadi (auth.), 1999

PDF

Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

Martín Abadi, 2014

PDF

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Martín Abadi, 1990

DJVU

Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

Martin Abadi, 1985

PDF

ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

Martín Abadi (auth.), 2003

DJVU

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Martín Abadi, 1994

PDF

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Martín Abadi, 1994

PDF

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Martín Abadi, 2004

PDF

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Martín Abadi, 2004

PDF

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Martín Abadi (auth.), 2007

PDF

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Martín Abadi (auth.), 2007

PDF

Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Martín Abadi, 2014

PDF

A Theory of Objects

A Theory of Objects

Martin Abadi, Luca Cardelli, 1998

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

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

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

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