Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpen 2002
This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Meth... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Michel de Certeau lesen. Lire Michel de Certeau Philippe Büttgen / Kniha Brožovaná
common.buy 951 Kč
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 67 Kč
Bauman Dariusz Rosiak / Kniha Pevná
common.buy 217 Kč
Universität und Adel. Rainer A. Müller / Kniha Brožovaná
common.buy 1 549 Kč
Puzzle 500 Arrinera hussarya 33 B-52950 / Hra/Hračka Hra
common.buy 161 Kč
Presseberufe im Gemeinsamen Markt. Andreas Lahusen / Kniha Brožovaná
common.buy 756 Kč
Das Vertragsrecht internationaler Organisationen. Eckart Klein / Kniha Brožovaná
common.buy 863 Kč
ENCYCLOPEDIE DE LA BASSE + 2CD (FRENCH EDITION) +CD WESTWOOD Kniha binding.
common.buy 1 984 Kč
Émile ou De l'éducation, Livres I-II - Prépas scientifiques 2022 Rousseau / Kniha Brožovaná
common.buy 301 Kč
Game Chain stories & shower of questions conditional I / Kniha binding.
common.buy 272 Kč
Cartes de Llet del Ratoli Perez Isabel Caballero / Kniha Brožovaná
common.buy 306 Kč
La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA / Kniha Brožovaná
common.buy 520 Kč
Batman/Superman: World's finest Mark Waid / Kniha Brožovaná
common.buy 434 Kč
Mitgefühlstraining Chris Irons / E-kniha Adobe ePub DRM
common.buy 771 Kč
La naturaleza en disputa Emanuela Bienchi / E-kniha Adobe ePub DRM
common.buy 319 Kč
Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski / Video DVD
common.buy 1 153 Kč
Etude de l'Osteo-Arthrite Tuberculeuse Du Genou de l'Enfant Guillemain-A / Kniha Brožovaná
common.buy 380 Kč
Durchsichtige Dinge Vladimír Nabokov / Kniha Pevná
common.buy 341 Kč
Buntstift Colour GRIP 36er / Hra/Hračka Hračka
common.buy 1 093 Kč
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Kniha Brožovaná
common.buy 1 214 Kč
Rehabilitationstechnik Marc Kraft / Kniha Brožovaná
common.buy 1 750 Kč
Entre naranjos Vicente Blasco Ibá / Kniha Brožovaná
common.buy 368 Kč
Cross Selling. Vor- und Nachteile sowie erfolgreiche Beispiele Christine Rackey / Kniha Brožovaná
common.buy 369 Kč
Catalogue Des Monuments Interessant l'Histoire de la Tunisie, Reproduits Sans Auteur / Kniha Brožovaná
common.buy 315 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Algebraic Methodology and Software Technology
Autor Helene Kirchner, Christophe Ringeissen
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2002
Počet stran 508
EAN 9783540441441
ISBN 3540441441
Libristo kód 01564599
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1590
Rozměry 155 x 235 x 28

Kategorie

Matematika a věda > Matematika > Algebra
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

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 968 Kč
Software Language Engineering Anthony Sloane / Kniha Brožovaná
common.buy 1 182 Kč
Sandy Lane Stables The Perfect Pony Michelle Bates / Kniha Pevná
common.buy 168 Kč
Time Pressure and Stress in Human Judgment and Decision Making A.J. Maule / Kniha Brožovaná
common.buy 2 357 Kč
The ABCs of Apostleship: Student Workbook, Book One Paula A. Price / Kniha Brožovaná
common.buy 539 Kč
Saxon Algebra 1/2 Tests Only Third Edition Saxon / Kniha Brožovaná
common.buy 1 293 Kč
Psyche And Eros; An International Bimonthly Journal Of Psychoanalysis, Psychotherapeutics And Applied Psychology Wilhelm Stekel / Kniha Brožovaná
common.buy 536 Kč
The Classical Hollywood Cinema: Film Style and Mode of Production to 1960 David Bordwell / Kniha Brožovaná
common.buy 1 612 Kč
Living and Working in Switzerland David Hampshire / Kniha Brožovaná
common.buy 518 Kč
Lismore Eugene F. Dennis / Kniha Brožovaná
common.buy 409 Kč
One Soul's Journey Maureen Niak / Kniha Brožovaná
common.buy 241 Kč
Knowing Poverty Karen Brock / Kniha Pevná
common.buy 1 118 Kč
Scientific Issues in Quantitative Cancer Risk Assessment Suresh H. Moolgavkar / Kniha Brožovaná
common.buy 1 182 Kč
Připravujeme
Leeds Rugby League Football Club (Classic Matches) Peter Smith / Kniha Brožovaná
common.buy 314 Kč
Benefactor Susan Sontag / Kniha Brožovaná
common.buy 292 Kč
Politics, Art and Commitment in the East European Cinema D.W. Paul / Kniha Brožovaná
common.buy 1 233 Kč
Sword of Zagan Clark Ashton Smith / Kniha Brožovaná
common.buy 360 Kč
Top
Cosmic Trigger I Robert Anton Wilson / Kniha Brožovaná
common.buy 506 Kč
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 619 Kč
A Window in Thrums by J.M. Barrie (Classics) J M Barrie / Kniha Brožovaná
common.buy 215 Kč
Amish Hope Beth Wiseman / Kniha Brožovaná
common.buy 205 Kč
Delusions Amy Crandall / Kniha Brožovaná
common.buy 340 Kč
Herbal Drugs: Synthesis, Interactions and Applications Melissa Gould / Kniha Pevná
common.buy 3 001 Kč
Alexz Ferretti Lindsay Anderson / Kniha Brožovaná
common.buy 155 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?