Výsledky vyhľadávania - automatizace programming—program verification general terms*

Pp – Sf

Autori: Michael Peschke Peter Wennrich

Typ zdroja: eBook.

Kategórie: REFERENCE / General, SCIENCE / General

Software for Computer Control : Proceedings of the Second IFAC/IFIP Symposium on Software for Computer Control, Prague, Czechoslovakia, 11-15 June 1979

Autori: M. Novak

Typ zdroja: eBook.

Predmet: Automatic control--Data processing--Congresses, Automatic control--Computer programs--Congresses

Kategórie: TECHNOLOGY & ENGINEERING / Engineering (General), MATHEMATICS / Applied