Lataa…

Formal specification and software development /

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Bjorner, D. (Dines), 1937- (Tekijä)
Muut tekijät: Jones, C. B. (Cliff B.), 1944-
Aineistotyyppi: Kirja
Kieli:englanti
Julkaistu: ©1982
Sarja:Prentice-Hall international series in computer science
Aiheet:
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!