Načítá se...

Logics of programs

Podrobná bibliografie
Hlavní autor: rohit Parikh
Médium: Printed Book
Jazyk:English
Vydáno: Springer-Verlag 1985
Popis
Fyzický popis:424
ISBN:3-540-15648-8