Your search returned 2 results. Subscribe to this search

|
1.  Monographies, textes Compiler construction [] : 22th international conference, CC 2013, held as part of the joint european conferences on Theory and practice of software, ETAPS 2013, Rome, Italy March 16-24, 2013 : proceedings / Ranjit Jhala, Koen De Bosschere (ed.)Publication : Berlin : Springer, cop. 2012Description : 1 vol. (XVI-243 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[ROM 13] (1).
2. Congrès Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings ; Ranjit Jhala, David Schmidt (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2011Description : 1 vol. (XI-418 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[AUS 11] (1).

Powered by Koha