Treffer: The foundations of program verification

Titel:

The foundations of program verification / Jacques Loeckx and Kurt Sieber

Beteiligt:

Ausgabe:

2. ed.

Veröffentlicht:

Stuttgart : Teubner [u.a.], 1987

Umfang:

IX, 230 S. : graph. Darst.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Wiley-Teubner series in computer science

RVK-Notation:

Schlagworte:

ISBN:

3519121018 ; 0471912824

Zusatz-Informationen