Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Algebraic Methodology and Software Technology

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

Lingua IngleseInglese
Libro In brossura
Libro Algebraic Methodology and Software Technology Helene Kirchner
Codice Libristo: 01564599
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2002
This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Meth... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Michel de Certeau lesen. Lire Michel de Certeau Philippe Büttgen / Libro In brossura
common.buy 40.69 €
Jésus et les vendeurs du Temple (Jn 2,13), Carte simple Vie de Jésus Mafa MAFA Gioco/giocattolo Giocattolo
common.buy 2.89 €
Bauman Dariusz Rosiak / Libro Rigido
common.buy 9.39 €
Universität und Adel. Rainer A. Müller / Libro In brossura
common.buy 66.39 €
Puzzle 500 Arrinera hussarya 33 B-52950 / Gioco/giocattolo Gioco
common.buy 6.89 €
Presseberufe im Gemeinsamen Markt. Andreas Lahusen / Libro In brossura
common.buy 34.49 €
Das Vertragsrecht internationaler Organisationen. Eckart Klein / Libro In brossura
common.buy 39.39 €
ENCYCLOPEDIE DE LA BASSE + 2CD (FRENCH EDITION) +CD WESTWOOD Libro binding.
common.buy 84.59 €
Émile ou De l'éducation, Livres I-II - Prépas scientifiques 2022 Rousseau / Libro In brossura
common.buy 12.79 €
Game Chain stories & shower of questions conditional I / Libro binding.
common.buy 11.69 €
Cartes de Llet del Ratoli Perez Isabel Caballero / Libro In brossura
common.buy 13.89 €
La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA / Libro In brossura
common.buy 21.19 €
Batman/Superman: World's finest Mark Waid / Libro In brossura
common.buy 19.99 €
Mitgefühlstraining Chris Irons / Libro elettronico Adobe ePub DRM
common.buy 33.09 €
La naturaleza en disputa Emanuela Bienchi / Libro elettronico Adobe ePub DRM
common.buy 13.69 €
Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski / Video DVD
common.buy 49.39 €
Etude de l'Osteo-Arthrite Tuberculeuse Du Genou de l'Enfant Guillemain-A / Libro In brossura
common.buy 17.09 €
Durchsichtige Dinge Vladimír Nabokov / Libro Rigido
common.buy 14.69 €
Buntstift Colour GRIP 36er / Gioco/giocattolo Giocattolo
common.buy 47.19 €
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Libro In brossura
common.buy 55.29 €
Rehabilitationstechnik Marc Kraft / Libro In brossura
common.buy 74.99 €
Entre naranjos Vicente Blasco Ibá / Libro In brossura
common.buy 16.89 €
Cross Selling. Vor- und Nachteile sowie erfolgreiche Beispiele Christine Rackey / Libro In brossura
common.buy 16.89 €
Catalogue Des Monuments Interessant l'Histoire de la Tunisie, Reproduits Sans Auteur / Libro In brossura
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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Algebraic Methodology and Software Technology
Autore Helene Kirchner, Christophe Ringeissen
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2002
Numero di pagine 508
EAN 9783540441441
ISBN 3540441441
Codice Libristo 01564599
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1590
Dimensioni 155 x 235 x 28

Categorie

Matematica e Scienze > Matematica > Algebra
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

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 In brossura
common.buy 43.59 €
Software Language Engineering Anthony Sloane / Libro In brossura
common.buy 53.79 €
Sandy Lane Stables The Perfect Pony Michelle Bates / Libro Rigido
common.buy 7.69 €
Time Pressure and Stress in Human Judgment and Decision Making A.J. Maule / Libro In brossura
common.buy 107.29 €
The ABCs of Apostleship: Student Workbook, Book One Paula A. Price / Libro In brossura
common.buy 23.99 €
Saxon Algebra 1/2 Tests Only Third Edition Saxon / Libro In brossura
common.buy 57.89 €
Psyche And Eros; An International Bimonthly Journal Of Psychoanalysis, Psychotherapeutics And Applied Psychology Wilhelm Stekel / Libro In brossura
common.buy 25.79 €
The Classical Hollywood Cinema: Film Style and Mode of Production to 1960 David Bordwell / Libro In brossura
common.buy 71.39 €
I migliori
Living and Working in Switzerland David Hampshire / Libro In brossura
common.buy 24.69 €
Lismore Eugene F. Dennis / Libro In brossura
common.buy 19.09 €
One Soul's Journey Maureen Niak / Libro In brossura
common.buy 11.19 €
Knowing Poverty Karen Brock / Libro Rigido
common.buy 50.29 €
Scientific Issues in Quantitative Cancer Risk Assessment Suresh H. Moolgavkar / Libro In brossura
common.buy 53.79 €
In preparazione
Leeds Rugby League Football Club (Classic Matches) Peter Smith / Libro In brossura
common.buy 14.69 €
Benefactor Susan Sontag / Libro In brossura
common.buy 14.69 €
Politics, Art and Commitment in the East European Cinema D.W. Paul / Libro In brossura
common.buy 52.69 €
Sword of Zagan Clark Ashton Smith / Libro In brossura
common.buy 16.19 €
I migliori
Cosmic Trigger I Robert Anton Wilson / Libro In brossura
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 In brossura
common.buy 27.89 €
A Window in Thrums by J.M. Barrie (Classics) J M Barrie / Libro In brossura
common.buy 9.69 €
Amish Hope Beth Wiseman / Libro In brossura
common.buy 9.19 €
Delusions Amy Crandall / Libro In brossura
common.buy 15.39 €
Herbal Drugs: Synthesis, Interactions and Applications Melissa Gould / Libro Rigido
common.buy 136.49 €
Alexz Ferretti Lindsay Anderson / Libro In brossura
common.buy 6.99 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?