Search - List of Books by Jacques Loeckx

Total Books: 7
Specification of Abstract Data Types
1996 - Specification of Abstract Data Types [Wiley Teubner on Applicable Theory in Computer Science] (Hardcover)Paperback
ISBN-13: 9780471950677
ISBN-10: 047195067X
Genres: Computers & Technology, Science & Math, Engineering & Transportation
  ?

The Foundations of Program Verification 2nd Edition
1987 - The Foundations of Program Verification 2nd Edition (Hardcover)Hardcover
ISBN-13: 9780471912828
ISBN-10: 0471912824
Genre: Computers & Technology
  ?

Computability and decidability An introduction for students of computer science
Computability and Decidability an Introduction for Students of Computer Science [Lecture notes in economics and mathematical systems] (Paperback)
ISBN-13: 9780387058696
ISBN-10: 0387058699
Genre: Science & Math
  ?

Algorithmentheorie [Hochschultext - German Edition] (Other)
The Foundations of Program Verification
The Foundations of Program Verification [Wiley-Teubner Series in Computer Science] (Hardcover)Hardcover
ISBN-13: 9780471903239
ISBN-10: 047190323X
Genres: Reference, Science & Math
  ?

Foundations of Programming Languages
Foundations of Programming Languages (Paperback)
ISBN-13: 9780471921394
ISBN-10: 0471921394
Genre: Science & Math
  ?

The foundations of program verification
The Foundations of Program Verification [Wiley-Teubner series in computer science] (Other)
ISBN-13: 9783519021018
ISBN-10: 3519021013
  ?