Wydawca:

Van Nostrand Reinhold Company

Miejsce wydania:

New York

Prawa:

Wszystkie prawa zastrzeżone

Licencja:

Licencja ustawowa ; Podstawa prawna : Ustawa z dn. 4 lutego 1994 r. o prawie autorskim i prawach pokrewnych Art. 28 pkt 3 (Dz.U. 2006 nr 90 poz. 631)

Prawa dostępu:

Dostęp tylko w sieci Biblioteki Głównej Politechniki Łódzkiej (ul. Wólczańska 223) w zakresie dozwolonego użytku

Słowa kluczowe:

testowanie kodu ; weryfikacja matematyczna ; projektowanie oprogramowania ; semantyka języków programowania ; logika Hoare’a ; niezmienniki pętli ; algorytmy ; niezawodność oprogramowania ; język programowania Algol ; język programowania Pascal

Język:

eng

Format:

application/pdf

Identyfikator:

oai:cybra.lodz.pl:28749 ; ISBN 0-442-26322-8

Digitalizacja:

Biblioteka Politechniki Łódzkiej. Oddział Tworzenia Zasobów Cyfrowych. ; Wersja elektroniczna : wtórna

Lokalizacja oryginału:

Biblioteka Politechniki Łódzkiej