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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 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 945 Kč
Batman/Superman: World's finest Mark Waid / Kniha Brožovaná
common.buy 434 Kč
Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski / Video DVD
common.buy 1 145 Kč
Les audacieux corsaires de l'île de Malte Roussel / Kniha Brožovaná
common.buy 269 Kč
Le Chat Noir, Vaudeville En 1 Acte Dupin-H / Kniha Brožovaná
common.buy 259 Kč
La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA / Kniha Brožovaná
common.buy 437 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 36 Kč
Presseberufe im Gemeinsamen Markt. Andreas Lahusen / Kniha Brožovaná
common.buy 970 Kč
Die Begriffsbestimmung des Versuchs und ihre Auswirkung auf den Versuchsbeginn. Luis C. Rey-Sanfiz / Kniha Brožovaná
common.buy 2 813 Kč
Schattenkünstler Kia Vahland / Kniha Pevná
common.buy 271 Kč
Die deutsche Hanse Gisela Graichen / Kniha Brožovaná
common.buy 410 Kč
Ansichten der Subjektivität Manfred Frank / Kniha Brožovaná
common.buy 500 Kč
Bauman Dariusz Rosiak / Kniha Pevná
common.buy 240 Kč
Puzzle 500 Arrinera hussarya 33 B-52950 / Hra/Hračka Hra
common.buy 181 Kč
Erfolg fur Dummies Sonderausgabe Zig Ziglar / Kniha Brožovaná
common.buy 265 Kč
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Kniha Brožovaná
common.buy 1 214 Kč
Amerika und Wir. Robert v. Scheller-Steinwartz / Kniha Brožovaná
common.buy 756 Kč
DICCIONARI BASIC CATALÁ-CASTELLÁ, CASTELLÁ-CATALÁ Diversos autors / Kniha Brožovaná
common.buy 359 Kč
Humanae Vitae PABLO VI / Kniha Pevná
common.buy 106 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 995 Kč
Software Language Engineering Anthony Sloane / Kniha Brožovaná
common.buy 1 181 Kč
Cognitive Models and Intelligent Environments for Learning Programming Enrica Lemut / Kniha Brožovaná
common.buy 3 530 Kč
Sandy Lane Stables The Perfect Pony Michelle Bates / Kniha Pevná
common.buy 167 Kč
Time Pressure and Stress in Human Judgment and Decision Making A.J. Maule / Kniha Brožovaná
common.buy 2 356 Kč
The ABCs of Apostleship: Student Workbook, Book One Paula A. Price / Kniha Brožovaná
common.buy 554 Kč
George Lauder (1603-1670): Life and Writings Alasdair A. MacDonald / Kniha Pevná
common.buy 4 374 Kč
Amish Hope Beth Wiseman / Kniha Brožovaná
common.buy 205 Kč
A Window in Thrums by J.M. Barrie (Classics) J M Barrie / Kniha Brožovaná
common.buy 220 Kč
Taken by You M L Young / Kniha Brožovaná
common.buy 222 Kč
Beatrice H. Rider Haggard / Kniha Brožovaná
common.buy 370 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 636 Kč
Cosmic Trigger I Robert Anton Wilson / Kniha Brožovaná
common.buy 465 Kč
Disaster Spiritual Care, 2nd Edition Willard W. C. Ashley Sr / Kniha Brožovaná
common.buy 607 Kč
Saxon Algebra 1/2 Tests Only Third Edition Saxon / Kniha Brožovaná
common.buy 1 346 Kč
Levně
Fingerstyle Jazz Guitar Solos: 12 Songs Expertly Arranged for Solo Guitar in Standard Notation and Tablature [With Access Code] Sean McGowan / Kniha Brožovaná
common.buy 69 Kč
Top
Expelled from Eden William T. Vollmann / Kniha Brožovaná
common.buy 486 Kč
Psyche And Eros; An International Bimonthly Journal Of Psychoanalysis, Psychotherapeutics And Applied Psychology Wilhelm Stekel / Kniha Brožovaná
common.buy 474 Kč
The Classical Hollywood Cinema: Film Style and Mode of Production to 1960 David Bordwell / Kniha Brožovaná
common.buy 1 656 Kč
Numicon: Number, Pattern and Calculating 6 Explorer Progress Book B (Pack of 30) Tony Wing / Kniha binding.
common.buy 1 425 Kč
Living and Working in Switzerland David Hampshire / Kniha Brožovaná
common.buy 512 Kč
Lismore Eugene F. Dennis / Kniha Brožovaná
common.buy 408 Kč
American Heritage Journal of Creativity Leah Ojinna / Kniha Brožovaná
common.buy 383 Kč
With Love from the Back of the Yards of Chicago Sonny Street / Kniha Brožovaná
common.buy 434 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?