Yazar
s hoare
20 cilt bulundu.
Cilt sonuçları
Verification of Sequential and Concurrent Programs
Krzysztof Apt, Frank S. de Boer, Ernst-Rüdiger Olderog · Springer Science & Business Media
512 sayfa · 2010-10-14
Computers
Reports of Cases Determined in the Supreme Court of Judicature of the State of New Jersey
New Jersey. Supreme Court, Richard Smith Coxe, William Sandford Pennington, Samuel Lewis Southard, William Halsted (jr., reporter.), James S. Green, Josiah Harrison, Robert Dayton Spencer · Yayınevi bilinmiyor
492 sayfa · 1886
Law reports, digests, etc
