Lanean...

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:

UL

Aleari buruzko argibideak UL
Sailkapena: 004.414.38 BJO
Alea Egoera zuzenean ez dago erabilgarri