Formal specification and software development

Podrobná bibliografie
Hlavní autor: Bjorner, Diner
Další autoři: Jones, Cliff B.
Médium: Printed Book
Jazyk:English
Vydáno: New Jersy Prentice-hall international 1982
Edice:Printice-Hall International series in computer science
Témata:
Microprogramming > Computer science > Computer system
Popis
Fyzický popis:x,501p.
ISBN:0133290034

Podobné jednotky