Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Algebraic Methodology and Software Technology

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Algebraic Methodology and Software Technology Helene Kirchner
Koda Libristo: 01564599
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, avgust 2002
This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Meth... Celoten opis
? points 118 b
48.90 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Michel de Certeau lesen. Lire Michel de Certeau Philippe Büttgen / Knjiga Mehka
common.buy 35.43 €
Jésus et les vendeurs du Temple (Jn 2,13), Carte simple Vie de Jésus Mafa MAFA Igra/Igrača Igrača
common.buy 2.52 €
Bauman Dariusz Rosiak / Knjiga Trda
common.buy 7.89 €
Universität und Adel. Rainer A. Müller / Knjiga Mehka
common.buy 57.71 €
Puzzle 500 Arrinera hussarya 33 B-52950 / Igra/Igrača Igra
common.buy 5.96 €
Presseberufe im Gemeinsamen Markt. Andreas Lahusen / Knjiga Mehka
common.buy 31.28 €
Das Vertragsrecht internationaler Organisationen. Eckart Klein / Knjiga Mehka
common.buy 35.74 €
ENCYCLOPEDIE DE LA BASSE + 2CD (FRENCH EDITION) +CD WESTWOOD Knjiga binding.
common.buy 74.92 €
Émile ou De l'éducation, Livres I-II - Prépas scientifiques 2022 Rousseau / Knjiga Mehka
common.buy 11.33 €
Game Chain stories & shower of questions conditional I / Knjiga binding.
common.buy 10.01 €
Cartes de Llet del Ratoli Perez Isabel Caballero / Knjiga Mehka
common.buy 12.65 €
La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA / Knjiga Mehka
common.buy 19.33 €
Batman/Superman: World's finest Mark Waid / Knjiga Mehka
common.buy 17.91 €
Mitgefühlstraining Chris Irons / E-knjiga Adobe ePub DRM
common.buy 28.75 €
La naturaleza en disputa Emanuela Bienchi / E-knjiga Adobe ePub DRM
common.buy 11.84 €
Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski / Film DVD
common.buy 43.13 €
Etude de l'Osteo-Arthrite Tuberculeuse Du Genou de l'Enfant Guillemain-A / Knjiga Mehka
common.buy 15.69 €
Durchsichtige Dinge Vladimír Nabokov / Knjiga Trda
common.buy 12.45 €
Buntstift Colour GRIP 36er / Igra/Igrača Igrača
common.buy 40.29 €
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Knjiga Mehka
common.buy 50.22 €
Rehabilitationstechnik Marc Kraft / Knjiga Mehka
common.buy 65.10 €
Entre naranjos Vicente Blasco Ibá / Knjiga Mehka
common.buy 15.18 €
Cross Selling. Vor- und Nachteile sowie erfolgreiche Beispiele Christine Rackey / Knjiga Mehka
common.buy 15.28 €
Catalogue Des Monuments Interessant l'Histoire de la Tunisie, Reproduits Sans Auteur / Knjiga Mehka
common.buy 13.05 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Algebraic Methodology and Software Technology
Avtor Helene Kirchner, Christophe Ringeissen
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2002
Število strani 508
EAN 9783540441441
ISBN 3540441441
Koda Libristo 01564599
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 1590
Mere 155 x 235 x 28

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

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

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?