Formal specification and software development /

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Bjorner, D. (Dines), 1937- (Författare, medförfattare)
Övriga upphovsmän: Jones, C. B. (Cliff B.), 1944-
Materialtyp: Bok
Språk:engelska
Publicerad: ©1982
Serie:Prentice-Hall international series in computer science
Ämnen:
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!