Sprache
Thema
Format
Zurücksetzen Verfügbarkeit
Autoren

Suchresultat

Programming with SETS. An Introduction to SETL
Programming with SETS. An Introduction to SETL Englisch Fester Einband vergriffen
Niklaus Wirth - Programming in MODULA-2
Niklaus Wirth Programming in MODULA-2 Englisch 01.01.1993 Fester Einband vergriffen
Suad Alagic, Michael A. Arbib - The Design of Well-Structured and Correct Programs
Suad Alagic, Michael A. Arbib The Design of Well-Structured and Correct Programs Englisch 01.01.1978 Fester Einband vergriffen
Michael A. Arbib, A. J. Kfoury, Robert N. Moll - A Programming Approach to Computability
Michael A. Arbib, A. J. Kfoury, Robert N. Moll A Programming Approach to Computability Englisch 01.01.1982 Fester Einband vergriffen
E. V. Krishnamurthy - Error-Free Polynomial Matrix Computations
E. V. Krishnamurthy Error-Free Polynomial Matrix Computations Englisch 01.01.1985 Fester Einband vergriffen
Kaare Christian - A Guide to MODULA-2
Kaare Christian A Guide to MODULA-2 Englisch 01.01.1986 Fester Einband vergriffen
Nissim Francez - Fairness
Nissim Francez Fairness Englisch 01.01.1986 Fester Einband vergriffen
S. T. Alexander - Adaptive Signal Processing
S. T. Alexander Adaptive Signal Processing Englisch 01.01.1986 Fester Einband vergriffen
David Gries - The Science of Programming
David Gries The Science of Programming Englisch 01.01.1989 Taschenbuch vergriffen
Gerhard Goos, W. M. Waite - Compiler Construction
Gerhard Goos, W. M. Waite Compiler Construction Englisch Fester Einband vergriffen
Michael A. Arbib, Ernest G. Manes - Algebraic Approaches to Program Semantics
Michael A. Arbib, Ernest G. Manes Algebraic Approaches to Program Semantics Englisch Fester Einband vergriffen
Edsger W. Dijkstra, Carel S. Scholten - Predicate Calculus and Program Semantics
Edsger W. Dijkstra, Carel S. Scholten Predicate Calculus and Program Semantics Englisch 01.01.1990 Fester Einband vergriffen
Beauty is our Business
Beauty is our Business Englisch 01.01.1990 Fester Einband vergriffen
David Luckham - Programming with Specifications
David Luckham Programming with Specifications Englisch 01.01.1990 Fester Einband vergriffen
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 Englisch 01.01.1991 Fester Einband vergriffen
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 Englisch 01.01.1991 Fester Einband vergriffen
Dexter C. Kozen - Design and Analysis of Algorithms
Dexter C. Kozen Design and Analysis of Algorithms Englisch 01.01.1992 Fester Einband vergriffen
Ronald V. Book, Friedrich Otto - String-Rewriting Systems
Ronald V. Book, Friedrich Otto String-Rewriting Systems Englisch 01.01.1993 Fester Einband vergriffen
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 Englisch 01.01.1993 Fester Einband vergriffen
Eric C. R. Hehner - A Practical Theory of Programming
Eric C. R. Hehner A Practical Theory of Programming Englisch 01.01.1993 Fester Einband vergriffen