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 12.99 zł Punkt DPD 13.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
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Michel de Certeau lesen. Lire Michel de Certeau Philippe Büttgen / Książka Miękka
common.buy 166.60 zł
Jésus et les vendeurs du Temple (Jn 2,13), Carte simple Vie de Jésus Mafa MAFA Gra/Zabawka Zabawka
common.buy 11.73 zł
Bauman Dariusz Rosiak / Książka Twarda
common.buy 33.31 zł
Universität und Adel. Rainer A. Müller / Książka Miękka
common.buy 271.18 zł
Puzzle 500 Arrinera hussarya 33 B-52950 / Gra/Zabawka Gra
common.buy 25.18 zł
Presseberufe im Gemeinsamen Markt. Andreas Lahusen / Książka Miękka
common.buy 140.10 zł
Das Vertragsrecht internationaler Organisationen. Eckart Klein / Książka Miękka
common.buy 160.08 zł
ENCYCLOPEDIE DE LA BASSE + 2CD (FRENCH EDITION) +CD WESTWOOD Książka binding.
common.buy 347.56 zł
Émile ou De l'éducation, Livres I-II - Prépas scientifiques 2022 Rousseau / Książka Miękka
common.buy 52.68 zł
Game Chain stories & shower of questions conditional I / Książka binding.
common.buy 37.13 zł
Cartes de Llet del Ratoli Perez Isabel Caballero / Książka Miękka
common.buy 56.40 zł
La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA / Książka Miękka
common.buy 91.12 zł
Batman/Superman: World's finest Mark Waid / Książka Miękka
common.buy 80.89 zł
Mitgefühlstraining Chris Irons / E-book Adobe ePub DRM
common.buy 135.09 zł
La naturaleza en disputa Emanuela Bienchi / E-book Adobe ePub DRM
common.buy 55.90 zł
Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski / Wideo DVD
common.buy 202.03 zł
Etude de l'Osteo-Arthrite Tuberculeuse Du Genou de l'Enfant Guillemain-A / Książka Miękka
common.buy 70.05 zł
Durchsichtige Dinge Vladimír Nabokov / Książka Twarda
common.buy 59.51 zł
Buntstift Colour GRIP 36er / Gra/Zabawka Zabawka
common.buy 160.08 zł
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Książka Miękka
common.buy 224.91 zł
Rehabilitationstechnik Marc Kraft / Książka Miękka
common.buy 306.21 zł
Entre naranjos Vicente Blasco Ibá / Książka Miękka
common.buy 68.44 zł
Cross Selling. Vor- und Nachteile sowie erfolgreiche Beispiele Christine Rackey / Książka Miękka
common.buy 68.64 zł
Catalogue Des Monuments Interessant l'Histoire de la Tunisie, Reproduits Sans Auteur / Książka Miękka
common.buy 58.00 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 178.34 zł
Software Language Engineering Anthony Sloane / Książka Miękka
common.buy 218.99 zł
Sandy Lane Stables The Perfect Pony Michelle Bates / Książka Twarda
common.buy 31.20 zł
Time Pressure and Stress in Human Judgment and Decision Making A.J. Maule / Książka Miękka
common.buy 436.59 zł
The ABCs of Apostleship: Student Workbook, Book One Paula A. Price / Książka Miękka
common.buy 98.65 zł
Saxon Algebra 1/2 Tests Only Third Edition Saxon / Książka Miękka
common.buy 237.16 zł
Psyche And Eros; An International Bimonthly Journal Of Psychoanalysis, Psychotherapeutics And Applied Psychology Wilhelm Stekel / Książka Miękka
common.buy 93.93 zł
The Classical Hollywood Cinema: Film Style and Mode of Production to 1960 David Bordwell / Książka Miękka
common.buy 294.27 zł
Living and Working in Switzerland David Hampshire / Książka Miękka
common.buy 100.76 zł
Lismore Eugene F. Dennis / Książka Miękka
common.buy 76.77 zł
One Soul's Journey Maureen Niak / Książka Miękka
common.buy 45.05 zł
Knowing Poverty Karen Brock / Książka Twarda
common.buy 205.64 zł
Scientific Issues in Quantitative Cancer Risk Assessment Suresh H. Moolgavkar / Książka Miękka
common.buy 218.99 zł
Zapowiedź
Leeds Rugby League Football Club (Classic Matches) Peter Smith / Książka Miękka
common.buy 59.21 zł
Benefactor Susan Sontag / Książka Miękka
common.buy 59.21 zł
Politics, Art and Commitment in the East European Cinema D.W. Paul / Książka Miękka
common.buy 226.12 zł
Sword of Zagan Clark Ashton Smith / Książka Miękka
common.buy 66.23 zł
TOP
Cosmic Trigger I Robert Anton Wilson / Książka Miękka
common.buy 98.05 zł
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 / Książka Miękka
common.buy 114.01 zł
A Window in Thrums by J.M. Barrie (Classics) J M Barrie / Książka Miękka
common.buy 39.54 zł
Amish Hope Beth Wiseman / Książka Miękka
common.buy 37.83 zł
Delusions Amy Crandall / Książka Miękka
common.buy 62.92 zł
Herbal Drugs: Synthesis, Interactions and Applications Melissa Gould / Książka Twarda
common.buy 555.53 zł
Alexz Ferretti Lindsay Anderson / Książka Miękka
common.buy 28.69 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?