Ładuje się......

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:

Podobne zapisy