Hoppa till sidans huvudinnehåll

Ranjit Jhala - Böcker

Visar alla böcker från författaren Ranjit Jhala.
3 produkter

Verification, Model Checking, and Abstract Interpretation

12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

AvRanjit Jhala,David Schmidt

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar

Programming Languages and Systems

10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings

AvRanjit Jhala,Atsushi Igarashi

Häftad, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar

Compiler Construction

22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

AvKoen De Bosschere,Ranjit Jhala

Häftad, Engelska, 2013

659 kr

Skickas inom 10-15 vardagar