B. Kutzler's Bibliography on Abstract Data Types PDF

By B. Kutzler

ISBN-10: 3540123121

ISBN-13: 9783540123125

ISBN-10: 3642690327

ISBN-13: 9783642690327

Subsidized by way of the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung", undertaking nr. P4567

Show description

Read or Download Bibliography on Abstract Data Types PDF

Similar abstract books

Download e-book for kindle: The Descent Map from Automorphic Representations of Gl (n) by David Ginzburg, Stephen Rallis, David Soudry

Court cases of the Intl convention held to honor the sixtieth birthday of A. M. Naveira. convention used to be held July 8-14, 2002 in Valencia, Spain. For graduate scholars and researchers in differential geometry 1. advent -- 2. On definite residual representations -- three. Coefficients of Gelfand-Graev variety, of Fourier-Jacobi sort, and descent -- four.

Festkörpertheorie I: Elementare Anregungen by Otfried Madelung PDF

Unter den im ersten Band dieses auf drei Bände projektierten Werks behandelten elementaren Anwendungen versteht der Autor Kollektivanregungen (Plasmonen, Phononen, Magnonen, Exzitonen) und die theorie des Elektrons als Quasiteilchen. Das Werk wendet sich an alle Naturwissenschaftler, die an einem tieferen Verständnis der theoretischen Grundlagen der Festkörperphysik interessiert sind.

Read e-book online The Compressed Word Problem for Groups PDF

The Compressed be aware challenge for teams offers an in depth exposition of recognized effects at the compressed note challenge, emphasizing effective algorithms for the compressed observe challenge in quite a few teams. the writer offers the mandatory historical past in addition to the newest effects at the compressed notice challenge to create a cohesive self-contained ebook obtainable to desktop scientists in addition to mathematicians.

Additional info for Bibliography on Abstract Data Types

Example text

A Verification Support System for Algebraic Specifications. IECE Japan, Paper of Technical Group no. AL82-27 (in Japanese). , 1980. Algebraic Specification of ·HDLC and its Verification. IECE Japan, Paper of Technical Group no. AL80-7 (in Japanese). , 1982. An Algebraic Specification of HDLC Procedures and its Verification. subm. to IEEE-SE. , 1981. A Framework for Verifying HDLC Procedures. IECE Japan, Paper of Technical Group no. AL81-71 (in Japanese). , 1978. An Informal Definition of ALPHARD.

47-61. ZfM: 382. , 1978 c. Abstract Data Types: Specification, Implementation and Parametrization. Univ. Dortmund, Abt. Informatik. ZfM: 467. , 1979. On the Theory of Specification, Implementation and Parametrization of Abstract Data Types. Univ. Dortmund, Abt. Informatik. Forschungsbericht Nr. 82 + JACM. vol. 29, no. 1. pp. 206-227 + short version in LNCS 85, pp. 155-164. , 1980 a. Zur Theorie abstrakter Datentypen. Wissenschaftliche Zeitung der TU Dresden, vol. 29. no. 2, pp. 334-346. -D •• 1980 b.

1982 a. Zur Bedeutung formaler Spezifikationsmethoden beim Software Engineering. Angewandte Informatik, vol. 4, pp. 215-224. , 1982 b. Rational er Sprachgebrauch und orthosprachl i che Standardi si erung al s Grundl agen des Software-Engineering. Informatik Sp~ktrum, vol. 5, no. 4. , 198x. Completeness of Proof Systems for Equational Specifications. in prep. , 1980. Etude de l'utilisation de LCF et PROLOG pour prduver la representation de types abstraits. INRIA, ecole poly technique, rapport de stage.

Download PDF sample

Bibliography on Abstract Data Types by B. Kutzler


by Daniel
4.5

Rated 4.26 of 5 – based on 22 votes