Načítá se...

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:

UL

Informace o exemplářích z: UL
Signatura: 004.414.38 BJO
Jednotka Neznámá aktuální dostupnost