Languages
Subject
Format
Availabity
Authors

Search result

Peter A. Fejer, Dan A. Simovici - Mathematical Foundations of Computer Science - Vol.1: Sets, Relations, and Induction
Peter A. Fejer, Dan A. Simovici Mathematical Foundations of Computer Science - Vol.1: Sets, Relations, and Induction English 01.01.1991 Hardback Sold out
Krzysztof R. Apt, Ernst-Rüdiger Olderog - Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog Verification of Sequential and Concurrent Programs English 01.01.1991 Hardback Sold out
Dexter C. Kozen - Design and Analysis of Algorithms
Dexter C. Kozen Design and Analysis of Algorithms English 01.01.1992 Hardback Sold out
Ronald V. Book, Friedrich Otto - String-Rewriting Systems
Ronald V. Book, Friedrich Otto String-Rewriting Systems English 01.01.1993 Hardback Sold out
John V. Guttag, James J. Horning - Larch, Languages and Tools for Formal Specification
John V. Guttag, James J. Horning Larch, Languages and Tools for Formal Specification English 01.01.1993 Hardback Sold out
Eric C. R. Hehner - A Practical Theory of Programming
Eric C. R. Hehner A Practical Theory of Programming English 01.01.1993 Hardback Sold out
Bhubaneswar Mishra - Algorithmic Algebra
Bhubaneswar Mishra Algorithmic Algebra English 01.01.1993 Hardback Sold out
Reliable Computer Systems
Reliable Computer Systems English 01.01.1985 Hardback Sold out
Melvin Fitting - First-Order Logic and Automated Theorem Proving
Melvin Fitting First-Order Logic and Automated Theorem Proving English 01.01.1996 Hardback Sold out