Apt, Krzysztof R, 1949-

Title

Vertification of sequential and concurrent programs

Name: Vertification of sequential and concurrent programs
Author: Apt, Krzysztof R, 1949-

Author Statement

Krzysztof R. Apt, Ernst , Rudiger Olderog

Publication

Springer

Publication Year

[c 1991]

Collation

xvi, 441 p

Series

Text and monographs in computer seience

Subject

ADDED ENTRIES

Olderog, E. R

Main Class

005

Sub Class

.14

Cutter no

A655v

وارد كنندة اطلاعات

khorasani 0512^d//

Link To Document