Documents similaires: <The> logical Basis for Computer Programming
- The Logical Basis for Computer Programming. Volume 2 /
- The temporal logic of reactive and concurrent systems : Specification /
- The logical basis for computer programming : Vol.II /
- The Logical Basis for Computer Programming : Volume II. Deductive Systems /
- Computer systems
- Introduction to Programming with Fortran : with Coverage of Fortran 90, 95, 2003, and 77. CD-ROM INCLUDED
Auteur: Manna, Zohar
Auteur: Waldinger, Richard
- <The> logical Basis for Computer Programming
- The logical basis for computer programming : Vol.II /
- The Deductive Foundations of Computer Programming : A One-Volume Version of "The Logical Basis for Computer Programming"
- The Logical Basis for Computer Programming. Volume 2 /
- The Logical Basic for Computer Programming. Volume 2:Deductive Systeme /
- The Logical Basis for Computer Programming : Volume II. Deductive Systems /