Search Results - automatizace programming—program verification general terms

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Pp – Sf

    Authors: Michael Peschke Peter Wennrich

    Resource Type: eBook.

    Categories: REFERENCE / General, SCIENCE / General

    Save to List
  2. 2

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

    Authors: M. Novak

    Resource Type: eBook.

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

    Categories: TECHNOLOGY & ENGINEERING / Engineering (General), MATHEMATICS / Applied

    Save to List

Search Tools: