«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Recent Trends in Data Type Specification

8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Recent Trends in Data Type Specification Michel Bidoit
Código Libristo: 02092610
Editores Springer, Berlin, noviembre 1992
The algebraic specification of abstract data types has been a flourishing research topic in computer... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Ich entdecke die Emotionen - Color Monster / Juego/Juguete Juego
common.buy 30.89 €
Der Traum des Apothekers von Locarno Max Frisch / Libro Tapa blanda
common.buy 12.69 €
Sistemas Quanticos em Cavidade Efeito Casimir Dinamico e Emaranhamento Granhen Edney / Libro Tapa blanda
common.buy 60.89 €
Kultur-Kuriosa. Bd.1 Max Kemmerich / Libro Tapa blanda
common.buy 39.39 €
Kompetenztest Biologie 2 Hans-Jürgen Seitz / Libro Hoja
common.buy 18.09 €
Sozialisierung der Landwirtschaft Karl Kautsky / Libro Tapa blanda
common.buy 27.69 €
Die weisen Frauen der Cherokee Joyce Sequichie Hifler / Libro Tapa dura
common.buy 34.49 €
Wissensmanagement als Aufgabe des Personalmanagements Martin Weinberg / Libro Tapa blanda
common.buy 18.89 €
Die Dunkle Seite Des Mondes Martin Suter / Libro Tapa blanda
common.buy 14.99 €
Gott, Trinitat und Geist Jan Rohls / Libro Tapa blanda
common.buy 120.99 €

The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974.The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with theThird COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are:- specification languages and program development- algebraic specification of concurrency- theorem proving- object-oriented specifications- order-sorted algebras- abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Recent Trends in Data Type Specification
Autor Michel Bidoit, Christine Choppy
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1993
Número de páginas 346
EAN 9783540563792
ISBN 3540563792
Código Libristo 02092610
Editores Springer, Berlin
Peso 474
Dimensiones 155 x 233 x 19

Categorías

Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Seguridad informática > Encriptación de datos
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Maximum power point tracker (MPPT) based photovoltaic (PV) water pumping system using AC and DC motors Rehan Jamil / Libro Tapa blanda
common.buy 47.29 €
A GLANCE AT LATIN AMERICAN CIVILIZATION FRANCISCO JAV Y NES / Libro Tapa dura
common.buy 27.89 €
Soldiers Die Aaron Grunn / Libro Tapa blanda
common.buy 24.29 €
An Assessment of Corporate Social Responsibility Initiatives Joash Onyonka / Libro Tapa blanda
common.buy 54.09 €
Popular
Grimm's Complete Fairy Tales (Barnes & Noble Collectible Classics: Omnibus Edition) Brothers Grimm / Libro Tapa dura
common.buy 44.69 €
Some Wild Things Bill Jones / Libro Tapa dura
common.buy 36.39 €
Marlena's Journal Marlena Fearing / Libro Tapa blanda
common.buy 16.49 €
Social Life of the Chinese Professor Justus Doolittle / Libro Tapa blanda
common.buy 27.89 €
History of Barn Elms and the Kit-Cat Club Now the Ranelagh Club ... Second Edition. [With Illustrations.] C J Barrett / Libro Tapa blanda
common.buy 30.19 €
Analysis of Biomarker Data - A Practical Guide Joseph L. Hagan / Libro Tapa dura
common.buy 164.09 €
Encyclopedia of Language N.E. Collinge / Libro Tapa dura
common.buy 595.79 €
To Know You Shannon Ethridge / Libro Tapa blanda
common.buy 16.29 €
Chomsky's Challenge to American Power Anthony F. Greco / Libro Tapa blanda
common.buy 48.19 €
Próximamente
Art, Performance and Ritual in Benin City Charles Gore / Libro Tapa dura
common.buy 126.99 €
Peacekeeping in Africa Marco Wyss / Libro Tapa blanda
common.buy 77.69 €
Rise of the Chinese Militray Power Ralph L. Powell / Libro Tapa blanda
common.buy 60.59 €
Early Childhood Education Cathy Nutbrown & Peter Clough / Libro Tapa blanda
common.buy 32.79 €
Designing and Proposing Your Research Project Jennifer Brown Urban / Libro Tapa blanda
common.buy 45.49 €
Hellspawn Odyssey Ricky Fleet / Libro Tapa blanda
common.buy 13.59 €
Adventure Giorgio (Accademia di Architettura di Mendrisio) Agamben / Libro Tapa dura
common.buy 11.69 €
Revival: Children in the Nursery School (1928) Johnson / Libro Tapa dura
common.buy 328.29 €
Fractals in Graz 2001 Peter Grabner / Libro Tapa dura
common.buy 135.29 €
Learn vietnamese - 150 words with pronunciations - Beginner: Picture book for bilingual kids Goose and Books / Libro Tapa blanda
common.buy 15.29 €
Lonely Planet Shanghai Damian Harper et al / Libro Tapa blanda
common.buy 28.89 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?