Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Algebraic Methodology and Software Technology

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

Język AngielskiAngielski
Książka Miękka
Książka Algebraic Methodology and Software Technology Helene Kirchner
Kod Libristo: 01564599
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, sierpień 2002
This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Meth... Cały opis
? points 125 b
223.54 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Michel de Certeau lesen. Lire Michel de Certeau Philippe Büttgen / Książka Miękka
common.buy 169.85 zł
Puzzle 500 Arrinera hussarya 33 B-52950 / Gra/Zabawka Gra
common.buy 24.99 zł
Bauman Dariusz Rosiak / Książka Twarda
common.buy 33.08 zł
Die Begriffsbestimmung des Versuchs und ihre Auswirkung auf den Versuchsbeginn. Luis C. Rey-Sanfiz / Książka Miękka
common.buy 504.15 zł
Jésus et les vendeurs du Temple (Jn 2,13), Carte simple Vie de Jésus Mafa MAFA Gra/Zabawka Zabawka
common.buy 10.85 zł
Presseberufe im Gemeinsamen Markt. Andreas Lahusen / Książka Miękka
common.buy 183.68 zł
ENCYCLOPEDIE DE LA BASSE + 2CD (FRENCH EDITION) +CD WESTWOOD Książka binding.
common.buy 353.75 zł
Émile ou De l'éducation, Livres I-II - Prépas scientifiques 2022 Rousseau / Książka Miękka
common.buy 52.96 zł
Game Chain stories & shower of questions conditional I / Książka binding.
common.buy 43.22 zł
Cartes de Llet del Ratoli Perez Isabel Caballero / Książka Miękka
common.buy 57.57 zł
Durchsichtige Dinge Vladimír Nabokov / Książka Twarda
common.buy 60.74 zł
Buntstift Colour GRIP 36er / Gra/Zabawka Zabawka
common.buy 160.22 zł
La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA / Książka Miękka
common.buy 82.97 zł
Batman/Superman: World's finest Mark Waid / Książka Miękka
common.buy 82.56 zł
Mitgefühlstraining Chris Irons / E-book Adobe ePub DRM
common.buy 137.68 zł
La naturaleza en disputa Emanuela Bienchi / E-book Adobe ePub DRM
common.buy 57.05 zł
Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski / Wideo DVD
common.buy 206.02 zł
Cross Selling. Vor- und Nachteile sowie erfolgreiche Beispiele Christine Rackey / Książka Miękka
common.buy 70.07 zł
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Książka Miękka
common.buy 229.58 zł
Catalogue Des Monuments Interessant l'Histoire de la Tunisie, Reproduits Sans Auteur / Książka Miękka
common.buy 59.21 zł
Manuel d'Enseignement Menager Agricole Sans Auteur / Książka Miękka
common.buy 95.99 zł
Le Chat Noir, Vaudeville En 1 Acte Dupin-H / Książka Miękka
common.buy 46.09 zł
Etude de l'Osteo-Arthrite Tuberculeuse Du Genou de l'Enfant Guillemain-A / Książka Miękka
common.buy 60.23 zł
Rehabilitationstechnik Marc Kraft / Książka Miękka
common.buy 310.92 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Algebraic Methodology and Software Technology
Autor Helene Kirchner, Christophe Ringeissen
Język Angielski
Oprawa Książka - Miękka
Data wydania 2002
Liczba stron 508
EAN 9783540441441
ISBN 3540441441
Kod Libristo 01564599
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1590
Wymiary 155 x 235 x 28

Kategoria

Matematyka i nauki ścisłe > Matematyka > Algebra
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

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 / Książka Miękka
common.buy 182.04 zł
Cognitive Models and Intelligent Environments for Learning Programming Enrica Lemut / Książka Miękka
common.buy 667.76 zł
Software Language Engineering Anthony Sloane / Książka Miękka
common.buy 223.54 zł
Time Pressure and Stress in Human Judgment and Decision Making A.J. Maule / Książka Miękka
common.buy 445.65 zł
Sandy Lane Stables The Perfect Pony Michelle Bates / Książka Twarda
common.buy 31.65 zł
Saxon Algebra 1/2 Tests Only Third Edition Saxon / Książka Miękka
common.buy 242.08 zł
The ABCs of Apostleship: Student Workbook, Book One Paula A. Price / Książka Miękka
common.buy 100.70 zł
Psyche And Eros; An International Bimonthly Journal Of Psychoanalysis, Psychotherapeutics And Applied Psychology Wilhelm Stekel / Książka Miękka
common.buy 95.88 zł
The Classical Hollywood Cinema: Film Style and Mode of Production to 1960 David Bordwell / Książka Miękka
common.buy 300.37 zł
Numicon: Number, Pattern and Calculating 6 Explorer Progress Book B (Pack of 30) Tony Wing / Książka binding.
common.buy 268.41 zł
Living and Working in Switzerland David Hampshire / Książka Miękka
common.buy 102.64 zł
Disaster Spiritual Care, 2nd Edition Willard W. C. Ashley Sr / Książka Miękka
common.buy 112.79 zł
Lismore Eugene F. Dennis / Książka Miękka
common.buy 78.16 zł
With Love from the Back of the Yards of Chicago Sonny Street / Książka Miękka
common.buy 76.72 zł
Sword of Zagan Clark Ashton Smith / Książka Miękka
common.buy 67.61 zł
One Soul's Journey Maureen Niak / Książka Miękka
common.buy 45.99 zł
Knowing Poverty Karen Brock / Książka Twarda
common.buy 207.45 zł
Scientific Issues in Quantitative Cancer Risk Assessment Suresh H. Moolgavkar / Książka Miękka
common.buy 223.54 zł
University Engagement and Environmental Sustainability Patricia Inman / Książka Twarda
common.buy 387.35 zł
Constitutional Conscience H.Jefferson Powell / Książka Twarda
common.buy 168.42 zł
An Exegetical Commentary on the Gospel According to St. Matthew (1909) Alfred Plummer / Książka Miękka
common.buy 177.74 zł
TOP
For She is Wrath Emily Varga / Książka Miękka
common.buy 37.38 zł
Matter and Motion: A Brief History of Kinetic Materialism Nail / Książka Twarda
common.buy 616.64 zł
Huysman's Pets Kate Wilhelm / Audiobook MP3
common.buy 74.78 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?