Författare: Jerzy Tiuryn

Stöd

2 E-böcker av Jerzy Tiuryn

Omslag till Jerzy Tiuryn: Foundation of Software Science and Computation Structures
Jerzy Tiuryn: Foundation of Software Science and Computation Structures
ETAPS2000wasthethirdinstanceofthe European Joint Conferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing …
PDF
Engelska
DRM
€56.46
Omslag till David (William Sussman Professorial Chair, The Weizmann Institute of Science) Harel & Dexter Kozen: Dynamic Logic
David (William Sussman Professorial Chair, The Weizmann Institute of Science) Harel & Dexter Kozen: Dynamic Logic
…
PDF
DRM
€92.73