Lataa...

Formal specification and software development

Bibliografiset tiedot
Päätekijä: Bjorner, Diner
Muut tekijät: Jones, Cliff B.
Aineistotyyppi: Printed Book
Kieli:English
Julkaistu: New Jersy Prentice-hall international 1982
Sarja:Printice-Hall International series in computer science
Aiheet:

UL

Saatavuus: UL
Hyllypaikka: 004.414.38 BJO
Nide Reaaliaikaista tietoa ei saatavissa