Condizione: New. pp. 268.
Da: Revaluation Books, Exeter, Regno Unito
EUR 78,53
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 268 pages. 9.61x6.69x0.61 inches. In Stock.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 93,24
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1986
ISBN 10: 3540160779 ISBN 13: 9783540160779
Da: moluna, Greven, Germania
EUR 64,08
Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Categorical Semantics, Or Extending Data Types to Include Memory.- Algebraic (?) Specification of Conceptual Database Schemata.- OBSCURE, A New Specification Language.- Some Thoughts on Algebraic Specification.- Implementation Specifications.- The ASSPEGIQU.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 110,53
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
Lingua: Inglese
Editore: Springer, Berlin, Springer, 1986
ISBN 10: 3540160779 ISBN 13: 9783540160779
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 79,32
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware - This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (Germany) from November 13 to November 16, 1984. The workshop, as both its predecessors (Sorpesee, 1982 and Passau, 1983), brought together many researchers interested in algebraic specifications and related topics. It provided an opportunity to present the latest, even unfinished, work and to discuss the future trends and research problems. The remarkable progress of the field re ported at the workshop provoked this volume. The present collection of papers documents the recent developments and trends in data type and software specification in theory and in practice. The theoretical con tributions pursue four objectives: the 1 iberation of the specification methods from the underlying logic (Sannella and Tarlecki; Maibaum and Sadler), the extension of the algebraic theory of data types to meet adequately the semantics of imperative programming languages and the idea of observabil ity (Wagner; Hennicker and Wirsing; Moller and Dosch; Streicher), the adaption of stepwise-refinement techniques to spec ifications with loose semantics (Beierle and Voss) and error and exception handl ing (Gogolla; Poigne). The papers oriented more towards practice are harder to classify.
Da: Majestic Books, Hounslow, Regno Unito
EUR 70,43
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 268 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 77,14
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 268.