Hoppa till sidans huvudinnehåll

Gary T. Leavens - Böcker

Visar alla böcker från författaren Gary T. Leavens.
6 produkter

Foundations of Component-Based Systems

AvGary T. Leavens,Murali Sitaraman,Gary T. (Iowa State University) Leavens,Murali (West Virginia University) Sitaraman

Häftad, Engelska, 2011

869 kr

Skickas inom 7-10 vardagar

Foundations of Component-Based Systems

AvGary T. Leavens,Murali Sitaraman,Gary T. (Iowa State University) Leavens,Murali (West Virginia University) Sitaraman

Inbunden, Engelska, 2000

1 389 kr

Skickas inom 7-10 vardagar

Del 9800 - Lecture Notes in Computer Science

Transactions on Modularity and Composition I

AvShigeru Chiba,Mario Südholt,Patrick Eugster,Lukasz Ziarek,Gary T. Leavens,Mario Sudholt

Häftad, Engelska, 2016

1 109 kr

Skickas inom 10-15 vardagar

Verified Software: Theories, Tools, Experiments

Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

AvGary T. Leavens,Peter O'Hearn,Sriram K Rajamani

Häftad, Engelska, 2010

719 kr

Skickas inom 10-15 vardagar

Transactions on Aspect-Oriented Software Development IX

AvGary T. Leavens,Shigeru Chiba,Michael Haupt,Klaus Ostermann,Eric Wohlstadter

Häftad, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar

Transactions on Aspect-Oriented Software Development X

AvGary T. Leavens,Shigeru Chiba,Éric Tanter

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar