Contributor:

Piasecki, Krzysztof (1952-2021). Tł. ; Piasecka, Teresa. Tł.

Publisher:

Wydawnictwo Naukowo-Techniczne

Place of publication:

Warszawa

Rights Management:

All rights reserved

License:

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)

Access Rights:

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

Keywords:

software systems design ; abstract data types ; program correctness verification

Description:

Dane o oryginale: Software Development: A Rigorous Approach. Cliff B. Jones TBM ESRI La Hulpe, Belgium. Original English language edition published by Prentice-Hall International, Hemel Hempstead, Hertfordshire, England Copyright © 1980 Prentice-Hall International. ; Redaktor: Janina Bloch. ; Okładkę i układ typograficzny serii projektował: Tadeusz Pietrzyk. ; Redaktor techniczny: Elżbieta Gontarz.

Language:

pol

Format:

application/pdf

Identifier:

oai:cybra.lodz.pl:28667 ; ISBN: 83-204-0641-2

Digitization:

Electronic version : digitisation

Location of original:

Lodz University of Technology Library