Explore Books on
théorie type

1-4 of 4 Books

Cover of Foundations of software technology and theoretical computer science by v. vinay

Foundations of software technology and theoretical computer science

By V. Vinay

Cover of Proof and computation by north atlantic treaty organization

Proof and computation

By North Atlantic Treaty Organization

Cover of Category theory and computer science by peter dybjer

Category theory and computer science

By Peter Dybjer

Cover of Logics of programs by rohit parikh

Logics of programs

By Rohit Parikh