Laddar...

Formal specification and software development

Bibliografiska uppgifter
Huvudupphovsman: Bjorner, Diner
Övriga upphovsmän: Jones, Cliff B.
Materialtyp: Printed Book
Språk:English
Publicerad: New Jersy Prentice-hall international 1982
Serie:Printice-Hall International series in computer science
Ämnen:

UL

Beståndsuppgifter i UL
Signum: 004.414.38 BJO
Exemplar Status otillgänglig