rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Style de citation Chicagorohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Style de citation MLArohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Attention : ces citations peuvent ne pas être correctes à 100%.