Cover image
Normal view MARC view ISBD view

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-9. Publisher: Chichester Stuttgart Wiley Teubner cop. 1987Edition: 2. ed.Description: ix, 230 s.ISBN: 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 for this item.

Log in to your account 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