Cărți de Ranjit Jhala

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Lecture Notes in Computer Science, nr. 6538

Editat de Ranjit Jhala et al.

11 ian 2011

Preț: 334^.30 lei 417^.87 lei

3-5 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 7791

Editat de Koen De Bosschere et al.

20 feb 2013

Preț: 297^.17 lei 371^.47 lei

6-8 săpt.

-20%

Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7705

Editat de Ranjit Jhala et al.

29 oct 2012

Preț: 330^.87 lei 413^.58 lei

6-8 săpt.

-20%