Ranjit Jhala - Böcker

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

3 produkter

Kategorier

3 produkter

Verification, Model Checking, and Abstract Interpretation

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

Av Ranjit Jhala, David Schmidt

Häftad, Engelska, 2011

739 kr

Skickas inom 10-15 vardagar

Programming Languages and Systems

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

Av Ranjit Jhala, Atsushi Igarashi

Häftad, Engelska, 2012

739 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

Av Koen De Bosschere, Ranjit Jhala m. fl

Häftad, Engelska, 2013

679 kr

Skickas inom 10-15 vardagar