Lieferbarkeit
Sprachversion
Aktualität
Thema
Produktform
Maximalpreis
CHF

Isil Dillig als Mitarbeiter/in

Isi Dillig, Isil Dillig, Tasiran, Tasiran, Serdar Tasiran - Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Isi Dillig, Isil Dillig, Tasiran, Tasiran, Serdar Tasiran Computer Aided Verification Englisch 01.01.2019 Taschenbuch CHF 70.00 6-7 Wochen
Isil Dillig, Serdar Tasiran - Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Isil Dillig, Serdar Tasiran Computer Aided Verification Englisch 13.07.2019 Taschenbuch CHF 69.00 4-7 Arbeitstage
Isi Dillig, Isil Dillig, Palsberg, Palsberg, Jens Palsberg - Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Isi Dillig, Isil Dillig, Palsberg, Palsberg, Jens Palsberg Verification, Model Checking, and Abstract Interpretation Englisch 01.01.2018 Taschenbuch CHF 70.00 6-7 Wochen