«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.

Algebraic Methodology and Software Technology

9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Algebraic Methodology and Software Technology Helene Kirchner
Código Libristo: 01564599
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2002
This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Meth... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Michel de Certeau lesen. Lire Michel de Certeau Philippe Büttgen / Libro Tapa blanda
common.buy 41.49 €
Jésus et les vendeurs du Temple (Jn 2,13), Carte simple Vie de Jésus Mafa MAFA Juego/Juguete Juguete
common.buy 2.79 €
Bauman Dariusz Rosiak / Libro Tapa dura
common.buy 9.59 €
Universität und Adel. Rainer A. Müller / Libro Tapa blanda
common.buy 67.69 €
Puzzle 500 Arrinera hussarya 33 B-52950 / Juego/Juguete Juego
common.buy 7.09 €
Presseberufe im Gemeinsamen Markt. Andreas Lahusen / Libro Tapa blanda
common.buy 36.29 €
Das Vertragsrecht internationaler Organisationen. Eckart Klein / Libro Tapa blanda
common.buy 41.49 €
ENCYCLOPEDIE DE LA BASSE + 2CD (FRENCH EDITION) +CD WESTWOOD Libro binding.
common.buy 82.49 €
Émile ou De l'éducation, Livres I-II - Prépas scientifiques 2022 Rousseau / Libro Tapa blanda
common.buy 12.49 €
Game Chain stories & shower of questions conditional I / Libro binding.
common.buy 11.39 €
Cartes de Llet del Ratoli Perez Isabel Caballero / Libro Tapa blanda
common.buy 13.89 €
La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA / Libro Tapa blanda
common.buy 21.90 €
Batman/Superman: World's finest Mark Waid / Libro Tapa blanda
common.buy 21.19 €
Mitgefühlstraining Chris Irons / Libro electrónico Adobe ePub DRM
common.buy 33.69 €
La naturaleza en disputa Emanuela Bienchi / Libro electrónico Adobe ePub DRM
common.buy 13.89 €
Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski / Video DVD
common.buy 50.29 €
Etude de l'Osteo-Arthrite Tuberculeuse Du Genou de l'Enfant Guillemain-A / Libro Tapa blanda
common.buy 17.09 €
Durchsichtige Dinge Vladimír Nabokov / Libro Tapa dura
common.buy 14.99 €
Buntstift Colour GRIP 36er / Juego/Juguete Juguete
common.buy 45.69 €
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Libro Tapa blanda
common.buy 58.09 €
Rehabilitationstechnik Marc Kraft / Libro Tapa blanda
common.buy 76.39 €
Entre naranjos Vicente Blasco Ibá / Libro Tapa blanda
common.buy 17.79 €
Cross Selling. Vor- und Nachteile sowie erfolgreiche Beispiele Christine Rackey / Libro Tapa blanda
common.buy 17.89 €
Catalogue Des Monuments Interessant l'Histoire de la Tunisie, Reproduits Sans Auteur / Libro Tapa blanda
common.buy 14.19 €

This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in Saint-Gilles-les-Bains, Reunion Island, France in September 2002.The 26 revised full papers presented together with 6 invited papers and 2 system descriptions were carefully reviewed and selected from 59 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, process algebras, algebraic specification, semantic specification, model checking, mu-calculus, Petri box algebras, unification, verification of Java for smart cards, security, JML specification, and formal software development.

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 Algebraic Methodology and Software Technology
Autor Helene Kirchner, Christophe Ringeissen
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2002
Número de páginas 508
EAN 9783540441441
ISBN 3540441441
Código Libristo 01564599
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1590
Dimensiones 155 x 235 x 28

Categorías

Matemáticas y ciencias > Matemáticas > Álgebra
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
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

Commentary, Critical and Explanatory, On the Old and New Testaments. by the Rev. Robert Jamieson ... Rev. A. R. Fausset ... and the Rev. David Brown . Robert Jamieson / Libro Tapa blanda
common.buy 43.59 €
Software Language Engineering Anthony Sloane / Libro Tapa blanda
common.buy 56.59 €
Sandy Lane Stables The Perfect Pony Michelle Bates / Libro Tapa dura
common.buy 8.09 €
Time Pressure and Stress in Human Judgment and Decision Making A.J. Maule / Libro Tapa blanda
common.buy 112.79 €
The ABCs of Apostleship: Student Workbook, Book One Paula A. Price / Libro Tapa blanda
common.buy 23.99 €
Saxon Algebra 1/2 Tests Only Third Edition Saxon / Libro Tapa blanda
common.buy 60.29 €
Psyche And Eros; An International Bimonthly Journal Of Psychoanalysis, Psychotherapeutics And Applied Psychology Wilhelm Stekel / Libro Tapa blanda
common.buy 26.29 €
The Classical Hollywood Cinema: Film Style and Mode of Production to 1960 David Bordwell / Libro Tapa blanda
common.buy 71.39 €
Popular
Living and Working in Switzerland David Hampshire / Libro Tapa blanda
common.buy 25.09 €
Lismore Eugene F. Dennis / Libro Tapa blanda
common.buy 19.59 €
One Soul's Journey Maureen Niak / Libro Tapa blanda
common.buy 11.19 €
Knowing Poverty Karen Brock / Libro Tapa dura
common.buy 52.49 €
Scientific Issues in Quantitative Cancer Risk Assessment Suresh H. Moolgavkar / Libro Tapa blanda
common.buy 56.59 €
Próximamente
Leeds Rugby League Football Club (Classic Matches) Peter Smith / Libro Tapa blanda
common.buy 15.09 €
Benefactor Susan Sontag / Libro Tapa blanda
common.buy 15.09 €
Politics, Art and Commitment in the East European Cinema D.W. Paul / Libro Tapa blanda
common.buy 55.09 €
Sword of Zagan Clark Ashton Smith / Libro Tapa blanda
common.buy 16.19 €
Popular
Cosmic Trigger I Robert Anton Wilson / Libro Tapa blanda
common.buy 23.99 €
A Practical Treatise on the Law of Contracts Not Under Seal: And Upon the Usual Defences to Actions Thereon with Corrections and Additional References Joseph Chitty / Libro Tapa blanda
common.buy 27.89 €
A Window in Thrums by J.M. Barrie (Classics) J M Barrie / Libro Tapa blanda
common.buy 9.69 €
Amish Hope Beth Wiseman / Libro Tapa blanda
common.buy 9.69 €
Delusions Amy Crandall / Libro Tapa blanda
common.buy 15.39 €
Herbal Drugs: Synthesis, Interactions and Applications Melissa Gould / Libro Tapa dura
common.buy 136.49 €
Alexz Ferretti Lindsay Anderson / Libro Tapa blanda
common.buy 6.99 €

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?