Normal view MARC view ISBD view

Formal methods of program verification and specification

By: Berg, Helmut K.
Material type: TextTextPublisher: Englewood Cliffs, N. J. Prentice-Hall 1982Description: xiv, 207 p.: il.; 24 cm.ISBN: 0133288072.Subject(s): PROGRAMACION DE COMPUTADORASDDC classification: 001.6425
Tags from this library: No tags from this library for this title.
    average rating: 0.0 (0 votes)
Item type Current location Call number Copy number Status Date due Barcode Item holds
001.6425/B493 (Browse shelf) Ej. 1 Available 014507
Total holds: 0


There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha