Formal specification and software development

Xehetasun bibliografikoak
Egile nagusia: Bjorner, Diner
Beste egile batzuk: Jones, Cliff B.
Formatua: Printed Book
Hizkuntza:English
Argitaratua: New Jersy Prentice-hall international 1982
Saila:Printice-Hall International series in computer science
Gaiak:
Microprogramming > Computer science > Computer system
Deskribapena
Deskribapen fisikoa:x,501p.
ISBN:0133290034

Antzeko izenburuak