A survey of input-output semantics and program verificationAndrzej Blikle

A survey of input-output semantics and program verification

Name: A survey of input-output semantics and program verification
Author: Andrzej Blikle

Andrzej Blikle

4 biblioteki1 wydanie · 1979

Książka Biblioteki (4)

O książce

Autor: Andrzej Blikle
Lata wydań: 1979
Liczba wydań: 1
Języki: angielski
Rodzaj: książka

Dostępna w 4 bibliotekach: Biblioteka Narodowa (Warszawa), Biblioteka Główna w Toruniu (Toruń), Biblioteka Uniwersytecka w Warszawie (Warszawa), Biblioteka Wydziału Matematyki, Informatyki i Mechaniki (Warszawa)