• Observational program calculi...
  • *Holdings*

*Result*: Observational program calculi and the correctness of translations

*Title*:
Observational program calculi and the correctness of translations / Manfred Schmidt-Schauß ; David Sabel ; Joachim Niehren ; Jan Schwinghammer
*Author/editor-in-chief*:
Schmidt-Schauß, Manfred; Sabel, David ; Niehren, Joachim; Schwinghammer, Jan
*Publication*:
Frankfurt am Main : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2013
*Physical description scale*:
1 Online-Ressource
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Technical report Frank ; 52
*show_all_volumes*

*Additional information*

*Additional functions*