Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 /

Na minha lista:
Outros Autores: Bochmann, G.,von (Compiler), Probst, D.K (xxx)
Formato: Livro
Idioma:inglês
Publicado em: Berlin : Springer Verlag, 1993
Edição:1.vyd.
Assuntos:
overovanie počítačových systémov
overovanie programových systémov
verifikácia
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados: Computer aided verification :

Registos relacionados