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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.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.69 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 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.25 €
Puzzle 500 Arrinera hussarya 33 B-52950 / Hra/Hračka Hra
common.buy 6.47 €
Bauman Dariusz Rosiak / Kniha Pevná
common.buy 8.79 €
Die Begriffsbestimmung des Versuchs und ihre Auswirkung auf den Versuchsbeginn. Luis C. Rey-Sanfiz / Kniha Brožovaná
common.buy 116.55 €
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.52 €
Presseberufe im Gemeinsamen Markt. Andreas Lahusen / Kniha Brožovaná
common.buy 42.48 €
ENCYCLOPEDIE DE LA BASSE + 2CD (FRENCH EDITION) +CD WESTWOOD Kniha binding.
common.buy 81.74 €
Émile ou De l'éducation, Livres I-II - Prépas scientifiques 2022 Rousseau / Kniha Brožovaná
common.buy 12.23 €
Game Chain stories & shower of questions conditional I / Kniha binding.
common.buy 11.22 €
Cartes de Llet del Ratoli Perez Isabel Caballero / Kniha Brožovaná
common.buy 12.64 €
Durchsichtige Dinge Vladimír Nabokov / Kniha Pevná
common.buy 14.05 €
Buntstift Colour GRIP 36er / Hra/Hračka Hračka
common.buy 43.60 €
La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA / Kniha Brožovaná
common.buy 21.44 €
Batman/Superman: World's finest Mark Waid / Kniha Brožovaná
common.buy 19.11 €
Mitgefühlstraining Chris Irons / E-kniha Adobe ePub DRM
common.buy 31.86 €
La naturaleza en disputa Emanuela Bienchi / E-kniha Adobe ePub DRM
common.buy 13.14 €
Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski / Video DVD
common.buy 47.64 €
Cross Selling. Vor- und Nachteile sowie erfolgreiche Beispiele Christine Rackey / Kniha Brožovaná
common.buy 16.18 €
Catalogue Des Monuments Interessant l'Histoire de la Tunisie, Reproduits Sans Auteur / Kniha Brožovaná
common.buy 13.04 €
Manuel d'Enseignement Menager Agricole Sans Auteur / Kniha Brožovaná
common.buy 21.14 €
Le Chat Noir, Vaudeville En 1 Acte Dupin-H / Kniha Brožovaná
common.buy 11.32 €
Etude de l'Osteo-Arthrite Tuberculeuse Du Genou de l'Enfant Guillemain-A / Kniha Brožovaná
common.buy 14.76 €
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Kniha Brožovaná
common.buy 53.11 €
Rehabilitationstechnik Marc Kraft / Kniha Brožovaná
common.buy 71.73 €

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.06 €
Software Language Engineering Anthony Sloane / Kniha Brožovaná
common.buy 51.69 €
Cognitive Models and Intelligent Environments for Learning Programming Enrica Lemut / Kniha Brožovaná
common.buy 154.39 €
Time Pressure and Stress in Human Judgment and Decision Making A.J. Maule / Kniha Brožovaná
common.buy 102.99 €
Sandy Lane Stables The Perfect Pony Michelle Bates / Kniha Pevná
common.buy 7.27 €
Lismore Eugene F. Dennis / Kniha Brožovaná
common.buy 18.10 €
Disaster Spiritual Care, 2nd Edition Willard W. C. Ashley Sr / Kniha Brožovaná
common.buy 24.47 €
Saxon Algebra 1/2 Tests Only Third Edition Saxon / Kniha Brožovaná
common.buy 57.16 €
The ABCs of Apostleship: Student Workbook, Book One Paula A. Price / Kniha Brožovaná
common.buy 22.25 €
Psyche And Eros; An International Bimonthly Journal Of Psychoanalysis, Psychotherapeutics And Applied Psychology Wilhelm Stekel / Kniha Brožovaná
common.buy 23.46 €
The Classical Hollywood Cinema: Film Style and Mode of Production to 1960 David Bordwell / Kniha Brožovaná
common.buy 66.67 €
Numicon: Number, Pattern and Calculating 6 Explorer Progress Book B (Pack of 30) Tony Wing / Kniha binding.
common.buy 62.01 €
Living and Working in Switzerland David Hampshire / Kniha Brožovaná
common.buy 23.77 €
Constitutional Conscience H.Jefferson Powell / Kniha Pevná
common.buy 37.32 €
American Heritage Journal of Creativity Leah Ojinna / Kniha Brožovaná
common.buy 16.08 €
With Love from the Back of the Yards of Chicago Sonny Street / Kniha Brožovaná
common.buy 18.81 €
Sword of Zagan Clark Ashton Smith / Kniha Brožovaná
common.buy 14.86 €
One Soul's Journey Maureen Niak / Kniha Brožovaná
common.buy 9.91 €
Knowing Poverty Karen Brock / Kniha Pevná
common.buy 49.16 €
Scientific Issues in Quantitative Cancer Risk Assessment Suresh H. Moolgavkar / Kniha Brožovaná
common.buy 51.69 €
University Engagement and Environmental Sustainability Patricia Inman / Kniha Pevná
common.buy 95.20 €
An Exegetical Commentary on the Gospel According to St. Matthew (1909) Alfred Plummer / Kniha Brožovaná
common.buy 39.15 €
Top
For She is Wrath Emily Varga / Kniha Brožovaná
common.buy 10.61 €
Matter and Motion: A Brief History of Kinetic Materialism Nail / Kniha Pevná
common.buy 136.48 €

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ť?