[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Algebraic Methodology and Software Technology

Langue AnglaisAnglais
Livre Livre de poche
Livre Algebraic Methodology and Software Technology Maurice Nivat
Code Libristo: 05274595
Éditeurs Springer, Berlin, novembre 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Description détaillée
? points 317 b
134.22 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

Rauch, 2 DVDs Iwan S. Turgenjew / DVD
common.buy 17.12 €
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Livre
common.buy 3 412.52 €
Social Embeddedness of Industrial Ecology / Livre de poche
common.buy 54.26 €
Bachelor's Dream Duchess / Livre de poche
common.buy 24.82 €
Multiplicity in Unity Carlos M. Herrera / Livre relié
common.buy 182.82 €
Rebecca`s Reward Lauraine Snelling / Livre de poche
common.buy 17.12 €
Women, Body, Illness Pamela Moss / Livre relié
common.buy 205.19 €
Reform Medicaid First Thomas W. Grannemann / Livre de poche
common.buy 14.76 €
Computational Mechanics 95, 4 S.N. Atluri / Livre de poche
common.buy 115.27 €

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.

À propos du livre

Nom complet Algebraic Methodology and Software Technology
Auteur Maurice Nivat, Martin Wirsing
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1996
Nombre de pages 647
EAN 9783540614630
ISBN 354061463X
Code Libristo 05274595
Éditeurs Springer, Berlin
Poids 850
Dimensions 156 x 234 x 33

Catégories

Informatique et technologies de l’information > Informatique > Intelligence artificielle > Systèmes experts / bases de connaissances
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Analyse et conception de systèmes
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

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