Wydawca:

Van Nostrand Reinhold Company

Miejsce wydania:

New York

Prawa:

All rights reserved

Licencja:

Legal license ; On legal basis of : Act of 4 February 1994 on copyright and related rights 28 Art. 3 p (Journal of Laws, no. 90, item 631, 2006)

Prawa dostępu:

Access only within Lodz University of Technology Main Library LAN (223 Wolczanska Street, Lodz, Poland)

Słowa kluczowe:

code testing ; mathematical verification ; software design ; semantics of programming languages ; Hoare logic ; loop invariants ; algorithms ; software reliability ; Algol programming language ; Pascal programming language

Język:

eng

Format:

application/pdf

Identyfikator:

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

Digitalizacja:

Lodz University of Technology Library. Digital Content Creation and Access Management Department. ; Electronic version : digitisation

Lokalizacja oryginału:

Lodz University of Technology Library