Cover image

The foundations of program verification / Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer

By: Loeckx, Jacques
Contributor(s): Sieber, Kurt | Stansifer, Ryan D
Material type: TextTextSeries: Wiley-Teubner series in computer science99-0499524-9Publisher: Chichester Stuttgart Wiley Teubner cop. 1987Edition: 2. edDescription: ix, 230 sISBN: 3519121018 (Teubner); 0-471-91282-4 (Wiley)Subject(s): Computer programs -- Verification | Databehandling Programmering Programspråk | Databehandling | Programmering | ProgramspråkDDC classification: 005.1 | 005.14 Other classification: Pubb | 68Q60 | 03 | QA 73 | 005.1 | Pubb
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
Book (loan) Gräsvik
005.1 (Browse shelf) Available 80012452655

There are no comments on this title.

to post a comment.

Adress: Biblioteket, Blekinge Tekniska Högskola, 371 79 Karlskrona
Telefon: 0455 - 38 51 01
E-post: biblioteket@bth.se
Ansvarig för sidan: Biblioteket