Auteur: David (William Sussman Professorial Chair, The Weizmann Institute of Science) Harel Support1 Ebooks par David (William Sussman Professorial Chair, The Weizmann Institute of Science) Harel David (William Sussman Professorial Chair, The Weizmann Institute of Science) Harel & Dexter Kozen: Dynamic Logic … PDF DRM €95.73 0 0 Caisse 0,00 × × × Changer la langue de l'utilisateur × ArabeAllemandAnglaisEspagnolFrançaisHindiIndonésienItalienMalaisNéerlandaisPolonaisPortugaisRoumainRusseSuédoisThaïlandaisTurcUkrainienVietnamienChinoisInternational Modal ×