Formal specification and software development

Opis bibliograficzny
1. autor: Bjorner, Diner
Kolejni autorzy: Jones, Cliff B.
Format: Printed Book
Język:English
Wydane: New Jersy Prentice-hall international 1982
Seria:Printice-Hall International series in computer science
Hasła przedmiotowe:
Microprogramming > Computer science > Computer system
Opis
Opis fizyczny:x,501p.
ISBN:0133290034

Podobne zapisy