Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Algebraic Methodology and Software Technology

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

Limba englezăengleză
Carte Carte broșată
Carte Algebraic Methodology and Software Technology Helene Kirchner
Codul Libristo: 01564599
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2002
This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Meth... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Michel de Certeau lesen. Lire Michel de Certeau Philippe Büttgen / Carte Carte broșată
common.buy 206.42 lei
Jésus et les vendeurs du Temple (Jn 2,13), Carte simple Vie de Jésus Mafa MAFA Joc / Jucărie Jucărie
common.buy 14.59 lei
Bauman Dariusz Rosiak / Carte Copertă tare
common.buy 47.11 lei
Universität und Adel. Rainer A. Müller / Carte Carte broșată
common.buy 336.32 lei
Puzzle 500 Arrinera hussarya 33 B-52950 / Joc / Jucărie Joc
common.buy 34.92 lei
Presseberufe im Gemeinsamen Markt. Andreas Lahusen / Carte Carte broșată
common.buy 183.27 lei
Das Vertragsrecht internationaler Organisationen. Eckart Klein / Carte Carte broșată
common.buy 209.23 lei
ENCYCLOPEDIE DE LA BASSE + 2CD (FRENCH EDITION) +CD WESTWOOD Carte binding.
common.buy 430.77 lei
Émile ou De l'éducation, Livres I-II - Prépas scientifiques 2022 Rousseau / Carte Carte broșată
common.buy 65.36 lei
Game Chain stories & shower of questions conditional I / Carte binding.
common.buy 59.00 lei
Cartes de Llet del Ratoli Perez Isabel Caballero / Carte Carte broșată
common.buy 73.59 lei
La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA / Carte Carte broșată
common.buy 112.90 lei
Batman/Superman: World's finest Mark Waid / Carte Carte broșată
common.buy 106.33 lei
Mitgefühlstraining Chris Irons / E-book Adobe ePub DRM
common.buy 167.42 lei
La naturaleza en disputa Emanuela Bienchi / E-book Adobe ePub DRM
common.buy 69.21 lei
Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski / Videoclip DVD
common.buy 250.31 lei
Etude de l'Osteo-Arthrite Tuberculeuse Du Genou de l'Enfant Guillemain-A / Carte Carte broșată
common.buy 91.01 lei
Durchsichtige Dinge Vladimír Nabokov / Carte Copertă tare
common.buy 74.01 lei
Buntstift Colour GRIP 36er / Joc / Jucărie Jucărie
common.buy 237.28 lei
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Carte Carte broșată
common.buy 293.78 lei
Rehabilitationstechnik Marc Kraft / Carte Carte broșată
common.buy 379.90 lei
Entre naranjos Vicente Blasco Ibá / Carte Carte broșată
common.buy 89.86 lei
Cross Selling. Vor- und Nachteile sowie erfolgreiche Beispiele Christine Rackey / Carte Carte broșată
common.buy 89.86 lei
Catalogue Des Monuments Interessant l'Histoire de la Tunisie, Reproduits Sans Auteur / Carte Carte broșată
common.buy 75.37 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Algebraic Methodology and Software Technology
Autor Helene Kirchner, Christophe Ringeissen
Limba engleză
Legare Carte - Carte broșată
Data publicării 2002
Număr pagini 508
EAN 9783540441441
ISBN 3540441441
Codul Libristo 01564599
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1590
Dimensiuni 155 x 235 x 28

Categorii

Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

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 / Carte Carte broșată
common.buy 231.65 lei
Software Language Engineering Anthony Sloane / Carte Carte broșată
common.buy 285.96 lei
Sandy Lane Stables The Perfect Pony Michelle Bates / Carte Copertă tare
common.buy 40.86 lei
Time Pressure and Stress in Human Judgment and Decision Making A.J. Maule / Carte Carte broșată
common.buy 570.37 lei
The ABCs of Apostleship: Student Workbook, Book One Paula A. Price / Carte Carte broșată
common.buy 127.39 lei
Saxon Algebra 1/2 Tests Only Third Edition Saxon / Carte Carte broșată
common.buy 307.44 lei
Psyche And Eros; An International Bimonthly Journal Of Psychoanalysis, Psychotherapeutics And Applied Psychology Wilhelm Stekel / Carte Carte broșată
common.buy 123.32 lei
The Classical Hollywood Cinema: Film Style and Mode of Production to 1960 David Bordwell / Carte Carte broșată
common.buy 379.48 lei
Living and Working in Switzerland David Hampshire / Carte Carte broșată
common.buy 124.78 lei
Lismore Eugene F. Dennis / Carte Carte broșată
common.buy 101.43 lei
One Soul's Journey Maureen Niak / Carte Carte broșată
common.buy 59.31 lei
Knowing Poverty Karen Brock / Carte Copertă tare
common.buy 266.99 lei
Scientific Issues in Quantitative Cancer Risk Assessment Suresh H. Moolgavkar / Carte Carte broșată
common.buy 285.96 lei
Curând
Leeds Rugby League Football Club (Classic Matches) Peter Smith / Carte Carte broșată
common.buy 77.97 lei
Benefactor Susan Sontag / Carte Carte broșată
common.buy 77.97 lei
Politics, Art and Commitment in the East European Cinema D.W. Paul / Carte Carte broșată
common.buy 280.23 lei
Sword of Zagan Clark Ashton Smith / Carte Carte broșată
common.buy 86.00 lei
Top
Cosmic Trigger I Robert Anton Wilson / Carte Carte broșată
common.buy 127.60 lei
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 / Carte Carte broșată
common.buy 148.24 lei
A Window in Thrums by J.M. Barrie (Classics) J M Barrie / Carte Carte broșată
common.buy 51.70 lei
Amish Hope Beth Wiseman / Carte Carte broșată
common.buy 49.09 lei
Delusions Amy Crandall / Carte Carte broșată
common.buy 81.83 lei
Herbal Drugs: Synthesis, Interactions and Applications Melissa Gould / Carte Copertă tare
common.buy 725.61 lei
Alexz Ferretti Lindsay Anderson / Carte Carte broșată
common.buy 37.31 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?