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 4.99 € GLS courier 9.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 125 b
51.62 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

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 36.66 €
LA VERDADERA HISTORIA DE LA EDAD MEDIA ARNAUD DE LA CROIX / Book Hardback
common.buy 35.45 €
MANUAL DE DERECHO DEL TRABAJO (21ª ED.) MONEREO PEREZ / Book Book
common.buy 56.77 €
Epitre Amoureuse d'Heloise A Abeilard, d'Apres Les Lettres Originales Léopold Curez / Book Paperback
common.buy 14.54 €
Platine Detambel / Book Paperback
common.buy 21.21 €
Leitfaden fur den Unterricht der Planimetrie Friedr. Heime / Book Hardback
common.buy 119.01 €
Star Wars Comics: Die Hohe Republik Georges Jeanty / Book Paperback
common.buy 17.37 €
Lectio Divina 23 Do Ewangelii Dziecinstwa Innocenzo Gargano / Book Paperback
common.buy 5.75 €
Musik Für Die Therapie/Music For The Therapy Room Emily Shreve / Audio Audio CD
common.buy 10.60 €
Kalendář Jan Barban / Book Paperback
common.buy 3.93 €
RAW Nairod Vodali / Book Paperback
common.buy 11.10 €
Licht-Heilung Barbara Ann Brennan / Book Paperback
common.buy 14.44 €
Ordsprog og vendinger Hj / Book Paperback
common.buy 17.97 €
Die Berechnung Elektrischer Anlagen Auf Wirtschaftlichen Grundlagen F. W. Meyer / Book Paperback
common.buy 53.03 €
Remember 3D, Blu-ray Christopher Donaldson / Video Blu-ray
common.buy 18.88 €
Systemsicherheit Patrick Horster / Book Paperback
common.buy 65.96 €
Le Consulat Et l'Empire: Bibliotheque de l'Epoque Napoleonienne (Ed.1850) Sans Auteur / Book Paperback
common.buy 14.54 €
creuset Benoît R. Sorel / Book Paperback
common.buy 9.99 €
Fletrissure Nele Neuhaus / Book Paperback
common.buy 13.93 €
Spiknutí Ryšavého vlka Robert von Stein Redick / Book Hardback
common.buy 14.24 €
El imperio de lo efímero : la moda y su destino en las sociedades modernas Gilles Lipovetsky / Book Paperback
common.buy 15.75 €
Ariza Alberto Martín Cid / Book Paperback
common.buy 18.98 €
Sava&#351 James Risen / Book Paperback
common.buy 16.16 €
Medycyna Rodzinna / Book Paperback
common.buy 74.45 €

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

Blockchain Tony Scott / Book Hardback
common.buy 35.35 €
Objective Book of Soil Science Muthiah Thirunavukkarasu / Book Paperback
common.buy 60.41 €
Molecular Mechanisms in Plant Adaptation Roosa Laitinen / Book Hardback
common.buy 217.01 €
Foucault, Buddhism and Disciplinary Rules MALCOLM VOYCE / Book Hardback
common.buy 234.69 €
The Mozart Effect for Children Don Campbell / Book Paperback
common.buy 17.17 €
Natural Product Extraction: Principles and Applications Mauricio Rostagno / Book Hardback
common.buy 273.89 €
After the Great Divide: Modernism, Mass Culture, Postmodernism Andreas Huyssen / Book Paperback
common.buy 28.68 €
Graysen's Reading Log Martha Day Zschock / Book Hardback
common.buy 15.75 €
Dawn Hyperdrive and the Terrestrial Watches of Terror Robbie Grayson / Book Paperback
common.buy 17.87 €
Super Minds Starter Teacher's Book with Digital Pack American English Herbert Puchta / Book Paperback
common.buy 109.31 €
Grammar to Use William Dodge Lewis / Book Hardback
common.buy 32.52 €
Governing the Coastal Commons Derek Armitage / Book Paperback
common.buy 82.43 €
International Law and the Social Sciences Wesley L. Gould / Book Paperback
common.buy 52.53 €
A Traveller from Altruria William Dean Howells / Book Paperback
common.buy 25.05 €
Report from the Select Committee Appointed by the House of Commons Great Britain Parliament / Book Paperback
common.buy 32.02 €
Some Aspects Of Primitive Church Life (1898) William Bright / Book Paperback
common.buy 29.69 €
A Study Of George Orwell: The Man And His Works George Orwell / Book Paperback
common.buy 29.69 €
Rani of Rampur Suneeta Misra / Book Paperback
common.buy 11.41 €
Washington Decree Jussi Adler-Olsen / Book Paperback
common.buy 17.47 €
Political Adaptation in Canadian Theatre Kailin Wright / Book Paperback
common.buy 43.84 €
Cosmic Family, Volume II Gabriel of Urantia-TaliasVan of Tora / Book Paperback
common.buy 35.35 €
Ellie's Magical Bakery: Best Cake for a Best Friend Ellie Simmonds / Book Paperback
common.buy 6.66 €
Nanodesign: Some Basic Questions Wolfram Schommers / Book Hardback
common.buy 45.86 €
60 Quick Cotton Knits Sixth&spring Books / Book Paperback
common.buy 14.24 €

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?