Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Recent Trends in Data Type Specification

7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

Language EnglishEnglish
Book Paperback
Book Recent Trends in Data Type Specification Hartmut Ehrig
Libristo code: 02092603
Publishers Springer, Berlin, November 1990
The algebraic specification of abstract data types is now awell establishedresearch topic in compute... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Régénérer les cycles naturels de l'eau - Du jardin au paysage, des solutions concrètes pour gagner en autonomie - Prendre soin de vo Antoine Talin / Book Paperback
common.buy 37.79 €
LA VERDADERA HISTORIA DE LA EDAD MEDIA ARNAUD DE LA CROIX / Book Hardback
common.buy 30.99 €
Epitre Amoureuse d'Heloise A Abeilard, d'Apres Les Lettres Originales Léopold Curez / Book Paperback
common.buy 15.09 €
MANUAL DE DERECHO DEL TRABAJO (21ª ED.) MONEREO PEREZ / Book Book
common.buy 58.79 €
Platine Detambel / Book Paperback
common.buy 21.89 €
Leitfaden fur den Unterricht der Planimetrie Friedr. Heime / Book Hardback
common.buy 123.99 €
Star Wars Comics: Die Hohe Republik Georges Jeanty / Book Paperback
common.buy 20.00 €
El imperio de lo efímero : la moda y su destino en las sociedades modernas Gilles Lipovetsky / Book Paperback
common.buy 22.29 €
creuset Benoît R. Sorel / Book Paperback
common.buy 10.49 €
Medycyna Rodzinna / Book Paperback
common.buy 77.29 €
Sava&#351 James Risen / Book Paperback
common.buy 16.79 €
Ariza Alberto Martín Cid / Book Paperback
common.buy 19.69 €
Spiknutí Ryšavého vlka Robert von Stein Redick / Book Hardback
common.buy 14.99 €
Lectio Divina 23 Do Ewangelii Dziecinstwa Innocenzo Gargano / Book Paperback
common.buy 5.89 €
Fletrissure Nele Neuhaus / Book Paperback
common.buy 14.39 €
Musik Für Die Therapie/Music For The Therapy Room Emily Shreve / Audio Audio CD
common.buy 11.09 €
Le Consulat Et l'Empire: Bibliotheque de l'Epoque Napoleonienne (Ed.1850) Sans Auteur / Book Paperback
common.buy 15.09 €
Remember 3D, Blu-ray Christopher Donaldson / Video Blu-ray
common.buy 19.59 €
Die Berechnung Elektrischer Anlagen Auf Wirtschaftlichen Grundlagen F. W. Meyer / Book Paperback
common.buy 55.29 €
Ordsprog og vendinger Hj / Book Paperback
common.buy 18.79 €
RAW Nairod Vodali / Book Paperback
common.buy 11.59 €
Kalendář Jan Barban / Book Paperback
common.buy 4.09 €

The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications and theoreticalfoundations of methodologies which support the design andformal development of reliable software.The Seventh Workshop on Specification of Abstract Data Typestook place in Wusterhausen/Dosse, April17-20, 1990, and wasorganized in cooperation with the ESPRIT Basic ResearchWorking Group COMPASS. The main topics covered by theworkshop were:- Modularization- Object orientation- Higher-order types anddependent types- Inductive completion- Algebraic high-level nets.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Recent Trends in Data Type Specification
Author Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas
Language English
Binding Book - Paperback
Date of issue 1991
Number of pages 384
EAN 9783540544968
ISBN 3540544968
Libristo code 02092603
Publishers Springer, Berlin
Weight 638
Dimensions 155 x 233 x 20

Categories

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Databases > Database design & theory
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Report from the Select Committee Appointed by the House of Commons Great Britain Parliament / Book Paperback
common.buy 33.59 €
Molecular Mechanisms in Plant Adaptation Roosa Laitinen / Book Hardback
common.buy 225.49 €
International Law and the Social Sciences Wesley L. Gould / Book Paperback
common.buy 54.29 €
Ethical Coaches' Handbook Jonathan Passmore / Book Paperback
common.buy 51.89 €
The Mozart Effect for Children Don Campbell / Book Paperback
common.buy 17.89 €
After the Great Divide: Modernism, Mass Culture, Postmodernism Andreas Huyssen / Book Paperback
common.buy 29.59 €
Graysen's Reading Log Martha Day Zschock / Book Hardback
common.buy 16.49 €
Natural Product Extraction: Principles and Applications Mauricio Rostagno / Book Hardback
common.buy 283.59 €
Dawn Hyperdrive and the Terrestrial Watches of Terror Robbie Grayson / Book Paperback
common.buy 18.39 €
Grammar to Use William Dodge Lewis / Book Hardback
common.buy 33.69 €
Blockchain Tony Scott / Book Hardback
common.buy 36.69 €
Foucault, Buddhism and Disciplinary Rules MALCOLM VOYCE / Book Hardback
common.buy 242.59 €
A Traveller from Altruria William Dean Howells / Book Paperback
common.buy 25.89 €
A Study Of George Orwell: The Man And His Works George Orwell / Book Paperback
common.buy 30.79 €
Rani of Rampur Suneeta Misra / Book Paperback
common.buy 11.79 €
Washington Decree Jussi Adler-Olsen / Book Paperback
common.buy 20.79 €
Some Aspects Of Primitive Church Life (1898) William Bright / Book Paperback
common.buy 30.79 €
Political Adaptation in Canadian Theatre Kailin Wright / Book Paperback
common.buy 44.79 €
On the Edge of the Primeval Forest - Experiences and Observations of a Doctor in Equatorial Africa Schweitzer / Book Paperback
common.buy 25.39 €
Ellie's Magical Bakery: Best Cake for a Best Friend Ellie Simmonds / Book Paperback
common.buy 6.99 €
Nanodesign: Some Basic Questions Wolfram Schommers / Book Hardback
common.buy 47.39 €
Semantic Fields in Sign Languages Ulrike Zeshan / Book Hardback
common.buy 144.59 €
Interventions in Learning Disabilities Rachel Schiff / Book Hardback
common.buy 139.39 €
Remembering Nicaea Martin Shedd / Book Paperback
common.buy 56.49 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?