Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Algebraic Methodology and Software Technology

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Algebraic Methodology and Software Technology Helene Kirchner
Libristo kód: 01564599
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2002
This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Meth... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Michel de Certeau lesen. Lire Michel de Certeau Philippe Büttgen / Kniha Brožovaná
common.buy 39.39 €
Jésus et les vendeurs du Temple (Jn 2,13), Carte simple Vie de Jésus Mafa MAFA Hra/Hračka Hračka
common.buy 2.72 €
Bauman Dariusz Rosiak / Kniha Pevná
common.buy 9.00 €
Universität und Adel. Rainer A. Müller / Kniha Brožovaná
common.buy 64.00 €
Puzzle 500 Arrinera hussarya 33 B-52950 / Hra/Hračka Hra
common.buy 6.67 €
Presseberufe im Gemeinsamen Markt. Andreas Lahusen / Kniha Brožovaná
common.buy 33.11 €
Das Vertragsrecht internationaler Organisationen. Eckart Klein / Kniha Brožovaná
common.buy 37.77 €
ENCYCLOPEDIE DE LA BASSE + 2CD (FRENCH EDITION) +CD WESTWOOD Kniha binding.
common.buy 82.13 €
Émile ou De l'éducation, Livres I-II - Prépas scientifiques 2022 Rousseau / Kniha Brožovaná
common.buy 12.45 €
Game Chain stories & shower of questions conditional I / Kniha binding.
common.buy 11.23 €
Cartes de Llet del Ratoli Perez Isabel Caballero / Kniha Brožovaná
common.buy 12.65 €
La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA / Kniha Brožovaná
common.buy 21.46 €
Batman/Superman: World's finest Mark Waid / Kniha Brožovaná
common.buy 19.13 €
Mitgefühlstraining Chris Irons / E-kniha Adobe ePub DRM
common.buy 31.89 €
La naturaleza en disputa Emanuela Bienchi / E-kniha Adobe ePub DRM
common.buy 13.16 €
Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski / Video DVD
common.buy 47.69 €
Etude de l'Osteo-Arthrite Tuberculeuse Du Genou de l'Enfant Guillemain-A / Kniha Brožovaná
common.buy 15.69 €
Durchsichtige Dinge Vladimír Nabokov / Kniha Pevná
common.buy 14.07 €
Buntstift Colour GRIP 36er / Hra/Hračka Hračka
common.buy 45.26 €
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Kniha Brožovaná
common.buy 53.16 €
Rehabilitationstechnik Marc Kraft / Kniha Brožovaná
common.buy 72.31 €
Entre naranjos Vicente Blasco Ibá / Kniha Brožovaná
common.buy 16.20 €
Cross Selling. Vor- und Nachteile sowie erfolgreiche Beispiele Christine Rackey / Kniha Brožovaná
common.buy 16.20 €
Catalogue Des Monuments Interessant l'Histoire de la Tunisie, Reproduits Sans Auteur / Kniha Brožovaná
common.buy 13.06 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Algebraic Methodology and Software Technology
Autor Helene Kirchner, Christophe Ringeissen
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2002
Počet strán 508
EAN 9783540441441
ISBN 3540441441
Libristo kód 01564599
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1590
Rozmery 155 x 235 x 28

Kategórie

Matematika a veda > Matematika > Algebra
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

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 / Kniha Brožovaná
common.buy 40.10 €
Software Language Engineering Anthony Sloane / Kniha Brožovaná
common.buy 51.75 €
Sandy Lane Stables The Perfect Pony Michelle Bates / Kniha Pevná
common.buy 7.38 €
Time Pressure and Stress in Human Judgment and Decision Making A.J. Maule / Kniha Brožovaná
common.buy 103.10 €
The ABCs of Apostleship: Student Workbook, Book One Paula A. Price / Kniha Brožovaná
common.buy 22.27 €
Saxon Algebra 1/2 Tests Only Third Edition Saxon / Kniha Brožovaná
common.buy 56.00 €
Psyche And Eros; An International Bimonthly Journal Of Psychoanalysis, Psychotherapeutics And Applied Psychology Wilhelm Stekel / Kniha Brožovaná
common.buy 23.49 €
The Classical Hollywood Cinema: Film Style and Mode of Production to 1960 David Bordwell / Kniha Brožovaná
common.buy 66.74 €
Living and Working in Switzerland David Hampshire / Kniha Brožovaná
common.buy 23.79 €
Lismore Eugene F. Dennis / Kniha Brožovaná
common.buy 18.12 €
One Soul's Journey Maureen Niak / Kniha Brožovaná
common.buy 9.92 €
Knowing Poverty Karen Brock / Kniha Pevná
common.buy 48.61 €
Scientific Issues in Quantitative Cancer Risk Assessment Suresh H. Moolgavkar / Kniha Brožovaná
common.buy 51.75 €
Pripravujeme
Leeds Rugby League Football Club (Classic Matches) Peter Smith / Kniha Brožovaná
common.buy 13.97 €
Benefactor Susan Sontag / Kniha Brožovaná
common.buy 13.97 €
Politics, Art and Commitment in the East European Cinema D.W. Paul / Kniha Brožovaná
common.buy 51.04 €
Sword of Zagan Clark Ashton Smith / Kniha Brožovaná
common.buy 14.88 €
Top
Cosmic Trigger I Robert Anton Wilson / Kniha Brožovaná
common.buy 22.07 €
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 / Kniha Brožovaná
common.buy 25.61 €
A Window in Thrums by J.M. Barrie (Classics) J M Barrie / Kniha Brožovaná
common.buy 8.90 €
Amish Hope Beth Wiseman / Kniha Brožovaná
common.buy 8.90 €
Delusions Amy Crandall / Kniha Brožovaná
common.buy 14.07 €
Herbal Drugs: Synthesis, Interactions and Applications Melissa Gould / Kniha Pevná
common.buy 124.16 €
Alexz Ferretti Lindsay Anderson / Kniha Brožovaná
common.buy 6.37 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?