Formale Programmentwicklung Mit Dynamischer Logik - Softcover

Heisel, Maritta

 
9783824420315: Formale Programmentwicklung Mit Dynamischer Logik

Synopsis

Format Book Subject Literary Collections Publisher Deutscher Universit ats Verlag

"synopsis" may belong to another edition of this title.

Language Notes

Text: German

"About this title" may belong to another edition of this title.