Učitavanje...

Formal specification and software development

Bibliografski detalji
Glavni autor: Bjorner, Diner
Daljnji autori: Jones, Cliff B.
Format: Printed Book
Jezik:English
Izdano: New Jersy Prentice-hall international 1982
Serija:Printice-Hall International series in computer science
Teme:

UL

Detalji primjeraka od UL
Signatura: 004.414.38 BJO
Primjerak Prikaz statusa u stvarnom vremenu nije dostupan