Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

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
Bhubaneswar Mishra - Algorithmic Algebra
Bhubaneswar Mishra Algorithmic Algebra Englisch 01.01.1993 Fester Einband vergriffen
Reliable Computer Systems
Reliable Computer Systems Englisch 01.01.1985 Fester Einband vergriffen
Walter Bischofberger, Gustav Pomberger - Prototyping-Oriented Software Development
Walter Bischofberger, Gustav Pomberger Prototyping-Oriented Software Development Englisch 01.01.1992 Fester Einband vergriffen
Suad Alagic - Relational Database Technology
Suad Alagic Relational Database Technology Englisch 01.01.1986 Fester Einband vergriffen
Michael A. Arbib, A. J. Kfoury, Robert N. Moll - An Introduction to Formal Language Theory
Michael A. Arbib, A. J. Kfoury, Robert N. Moll An Introduction to Formal Language Theory Englisch 01.01.1988 Fester Einband vergriffen
Melvin Fitting - First-Order Logic and Automated Theorem Proving
Melvin Fitting First-Order Logic and Automated Theorem Proving Englisch 01.01.1996 Fester Einband vergriffen
Suad Alagic - Object-Oriented Database Programming
Suad Alagic Object-Oriented Database Programming Deutsch 01.01.1989 Fester Einband vergriffen