Dillig, Isil

Art�culos populares por Dillig, Isil

Ver todas las ofertas

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... Computer Science and General Issues)

Precios de los art�culos a partir de

EUR 35,26

Ver 14 ofertas

Encuentra tambi�n
Nuevos, Antiguos o usados
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II: 11562 (Theoretical Computer Science and General Issues)

Precios de los art�culos a partir de

EUR 46,22

Ver 13 ofertas

Encuentra tambi�n
Nuevos, Antiguos o usados
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I: 11561 (Theoretical Computer Science and General Issues)

Precios de los art�culos a partir de

EUR 46,22

Ver 11 ofertas

Encuentra tambi�n
Nuevos
Computer Aided Verification
Dillig, Isil; Tasiran, Serdar

Precios de los art�culos a partir de

EUR 56,72

Ver 41 ofertas

Encuentra tambi�n
Nuevos, Antiguos o usados