Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Recent Trends in Data Type Specification Michel Bidoit
Code Libristo: 02092610
Éditeurs Springer, Berlin, novembre 1992
The algebraic specification of abstract data types has been a flourishing research topic in computer... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Ich entdecke die Emotionen - Color Monster / Jeu/jouet Jeu
common.buy 29.99 €
Der Traum des Apothekers von Locarno Max Frisch / Livre Livre de poche
common.buy 12.39 €
Sistemas Quanticos em Cavidade Efeito Casimir Dinamico e Emaranhamento Granhen Edney / Livre Livre de poche
common.buy 57.69 €
Kultur-Kuriosa. Bd.1 Max Kemmerich / Livre Livre de poche
common.buy 39.90 €
Kompetenztest Biologie 2 Hans-Jürgen Seitz / Livre Feuille
common.buy 17.79 €
Sozialisierung der Landwirtschaft Karl Kautsky / Livre Livre de poche
common.buy 27.90 €
Die weisen Frauen der Cherokee Joyce Sequichie Hifler / Livre Livre relié
common.buy 34.90 €
Wissensmanagement als Aufgabe des Personalmanagements Martin Weinberg / Livre Livre de poche
common.buy 18.95 €
Die Dunkle Seite Des Mondes Martin Suter / Livre Livre de poche
common.buy 15.00 €
Gott, Trinitat und Geist Jan Rohls / Livre Livre de poche
common.buy 150.19 €

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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Recent Trends in Data Type Specification
Auteur Michel Bidoit, Christine Choppy
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1993
Nombre de pages 346
EAN 9783540563792
ISBN 3540563792
Code Libristo 02092610
Éditeurs Springer, Berlin
Poids 474
Dimensions 155 x 233 x 19

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Sécurité informatique > Cryptage des données
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Systèmes d’exploitation
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

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

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?