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
DPD courier 5.49 € GLS courier 10.49 €
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 125 b
51.36 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

creuset Benoît R. Sorel / Book Paperback
common.buy 9.94 €
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 35.28 €
Epitre Amoureuse d'Heloise A Abeilard, d'Apres Les Lettres Originales Léopold Curez / Book Paperback
common.buy 14.87 €
Platine Detambel / Book Paperback
common.buy 19.90 €
REVERSIBLE YANNIS LA MACCHIA Book Paperback
common.buy 21.60 €
Leitfaden fur den Unterricht der Planimetrie Friedr. Heime / Book Hardback
common.buy 118.42 €
Star Wars Comics: Die Hohe Republik Georges Jeanty / Book Paperback
common.buy 17.28 €
MANUAL DE DERECHO DEL TRABAJO (21ª ED.) MONEREO PEREZ / Book Book
common.buy 56.19 €
LA VERDADERA HISTORIA DE LA EDAD MEDIA ARNAUD DE LA CROIX / Book Hardback
common.buy 31.05 €
Spiknutí Ryšavého vlka Robert von Stein Redick / Book Hardback
common.buy 14.17 €
Musik Für Die Therapie/Music For The Therapy Room Emily Shreve / Audio Audio CD
common.buy 10.55 €
TEAMBOYS Army Colour! – hledáček radaru neuvedený autor / Book Paperback
common.buy 1.90 €
Kalendář Jan Barban / Book Paperback
common.buy 4.31 €
RAW Nairod Vodali / Book Paperback
common.buy 11.05 €
Licht-Heilung Barbara Ann Brennan / Book Paperback
common.buy 15.27 €
Ordsprog og vendinger Hj / Book Paperback
common.buy 17.88 €
Die Berechnung Elektrischer Anlagen Auf Wirtschaftlichen Grundlagen F. W. Meyer / Book Paperback
common.buy 52.77 €
Systemsicherheit Patrick Horster / Book Paperback
common.buy 65.64 €
Heidelberger Jahrbucher Reiner Wiehl / Book Paperback
common.buy 52.77 €
Le Consulat Et l'Empire: Bibliotheque de l'Epoque Napoleonienne (Ed.1850) Sans Auteur / Book Paperback
common.buy 14.87 €
Die Helden Griechenlands im Krieg und Frieden Heinrich Wilhelm Stoll / Book Paperback
common.buy 26.63 €
Fletrissure Nele Neuhaus / Book Paperback
common.buy 12.66 €
Lectio Divina 23 Do Ewangelii Dziecinstwa Innocenzo Gargano / Book Paperback
common.buy 5.32 €
El imperio de lo efímero : la moda y su destino en las sociedades modernas Gilles Lipovetsky / Book Paperback
common.buy 15.77 €

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

Bread Baking: Gluten Free: Delicious Step-By-Step Recipes For Gluten Free Bread Rae Hall / Book Paperback
common.buy 13.66 €
Objective Book of Soil Science Muthiah Thirunavukkarasu / Book Paperback
common.buy 239.76 €
Molecular Mechanisms in Plant Adaptation Roosa Laitinen / Book Hardback
common.buy 221.87 €
International Law and the Social Sciences Wesley L. Gould / Book Paperback
common.buy 79.11 €
Foucault, Buddhism and Disciplinary Rules MALCOLM VOYCE / Book Hardback
common.buy 249.62 €
Natural Product Extraction: Principles and Applications Mauricio Rostagno / Book Hardback
common.buy 280.08 €
The Mozart Effect for Children Don Campbell / Book Paperback
common.buy 17.48 €
Dawn Hyperdrive and the Terrestrial Watches of Terror Robbie Grayson / Book Paperback
common.buy 17.28 €
After the Great Divide: Modernism, Mass Culture, Postmodernism Andreas Huyssen / Book Paperback
common.buy 29.25 €
Graysen's Reading Log Martha Day Zschock / Book Hardback
common.buy 16.08 €
Super Minds Starter Teacher's Book with Digital Pack American English Herbert Puchta / Book Paperback
common.buy 115.10 €
Securing SQL Server Peter A. Carter / Book Paperback
common.buy 53.57 €
Tracks and Ties Don Hasselman / Book Paperback
common.buy 19.69 €
macOS Sierra Chris Kennedy / Book Paperback
common.buy 12.36 €
Grammar to Use William Dodge Lewis / Book Hardback
common.buy 33.27 €
A Traveller from Altruria William Dean Howells / Book Paperback
common.buy 25.53 €
Some Aspects Of Primitive Church Life (1898) William Bright / Book Paperback
common.buy 30.35 €
Governing the Coastal Commons Derek Armitage / Book Paperback
common.buy 89.57 €
Blockchain Tony Scott / Book Hardback
common.buy 36.18 €
The Church And The Future (1910) George Tyrrell / Book Paperback
common.buy 23.62 €
Report from the Select Committee Appointed by the House of Commons Great Britain Parliament / Book Paperback
common.buy 31.96 €
A Study Of George Orwell: The Man And His Works George Orwell / Book Paperback
common.buy 30.35 €
Rani of Rampur Suneeta Misra / Book Paperback
common.buy 11.65 €
William Blake: 100 Selected Drawings Narim Bender / Book Paperback
common.buy 11.35 €

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?