Author Search Results

Systematic software development using VDM

Autor: Jones, Cliff B.
Impresum 1986

Lokacije:
• Fakultet elektrotehnike i računarstva
• Končar - Institut za elektrotehniku

Knjiga

Systematic software development using VDM

Autor: Jones, Cliff B.
Impresum 1986

“...Jones, Cliff B....”

Izdanje: 1. izd

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga

Software development : a rigorous approach

Autor: Jones, Cliff B.
Impresum 1980

Lokacije:
  • Institut Ruđer Bošković
  • Nacionalna i sveučilišna knjižnica u Zagrebu
  • Fakultet elektrotehnike i računarstva

Knjiga

Formal specification and software development

Autor: Bjorner, Dines, Jones, Cliff B.
Impresum 1982

“...Jones, Cliff B. aut...”

Izdanje: 1. izd

Lokacija:
• Fakultet elektrotehnike i računarstva
Knjiga