Martin Abadi – författare
Visar alla böcker från författaren Martin Abadi. Handla med fri frakt och snabb leverans.
10 produkter
Theory of Objects
Av Martin Abadi, Luca Cardelli
Inbunden, 1996
2580 kr
Lägg i varukorg
Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in …
Theory of Objects
Av Luca Cardelli, Martin Abadi
E-bok, 2012
3348 kr
Lägg i varukorg
Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in …
Theory of Objects
Av Martin Abadi, Luca Cardelli
Häftad, 2012
2580 kr
Lägg i varukorg
Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in …
Trustworthy Global Computing
8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
Av Martín Abadi, Alberto Lluch Lafuente
Häftad, 2014
566 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and …
Trustworthy Global Computing
8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
Av Alberto Lluch Lafuente, Martin Abadi
E-bok, 2014
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and …
CONCUR 2005 - Concurrency Theory
16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
Av Martín Abadi, Luca de Alfaro
Häftad, 2005
566 kr
Lägg i varukorg
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. …
CONCUR 2005 - Concurrency Theory
16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
Av Luca de Alfaro, Martin Abadi
E-bok, 2005
755 kr
Lägg i varukorg
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. …
Theoretical Aspects of Computer Software
Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings
Häftad, 1997
1126 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited …
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
Häftad, 2014
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Conference on Principles of Security and Trust, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, in April 2014. The 15 papers presented in this volume …
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
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Conference on Principles of Security and Trust, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, in April 2014. The 15 papers presented in this volume …
