Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Algebraic Methodology and Software Technology

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

Sprache EnglischEnglisch
Buch Broschur
Buch Algebraic Methodology and Software Technology Helene Kirchner
Libristo-Code: 01564599
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2002
This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Meth... Vollständige Beschreibung
? points 111 b
45.49 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Michel de Certeau lesen. Lire Michel de Certeau Philippe Büttgen / Buch Broschur
common.buy 36.00 €
Puzzle 500 Arrinera hussarya 33 B-52950 / Spiel/Spielzeug Spiel
common.buy 4.99 €
Bauman Dariusz Rosiak / Buch Hardcover
common.buy 6.49 €
Die Begriffsbestimmung des Versuchs und ihre Auswirkung auf den Versuchsbeginn. Luis C. Rey-Sanfiz / Buch Broschur
common.buy 109.90 €
Jésus et les vendeurs du Temple (Jn 2,13), Carte simple Vie de Jésus Mafa MAFA Spiel/Spielzeug Spielzeug
common.buy 2.09 €
Presseberufe im Gemeinsamen Markt. Andreas Lahusen / Buch Broschur
common.buy 44.90 €
ENCYCLOPEDIE DE LA BASSE + 2CD (FRENCH EDITION) +CD WESTWOOD Buch binding.
common.buy 66.79 €
Émile ou De l'éducation, Livres I-II - Prépas scientifiques 2022 Rousseau / Buch Broschur
common.buy 9.99 €
Game Chain stories & shower of questions conditional I / Buch binding.
common.buy 8.69 €
Cartes de Llet del Ratoli Perez Isabel Caballero / Buch Broschur
common.buy 11.19 €
Durchsichtige Dinge Vladimír Nabokov / Buch Hardcover
common.buy 14.00 €
Buntstift Colour GRIP 36er / Spiel/Spielzeug Spielzeug
common.buy 40.50 €
La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA / Buch Broschur
common.buy 16.89 €
Batman/Superman: World's finest Mark Waid / Buch Broschur
common.buy 22.00 €
Mitgefühlstraining Chris Irons / E-Book Adobe ePub DRM
common.buy 26.79 €
La naturaleza en disputa Emanuela Bienchi / E-Book Adobe ePub DRM
common.buy 11.09 €
Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski / Video DVD
common.buy 42.95 €
Cross Selling. Vor- und Nachteile sowie erfolgreiche Beispiele Christine Rackey / Buch Broschur
common.buy 17.95 €
Catalogue Des Monuments Interessant l'Histoire de la Tunisie, Reproduits Sans Auteur / Buch Broschur
common.buy 11.49 €
Manuel d'Enseignement Menager Agricole Sans Auteur / Buch Broschur
common.buy 18.69 €
Le Chat Noir, Vaudeville En 1 Acte Dupin-H / Buch Broschur
common.buy 9.89 €
Etude de l'Osteo-Arthrite Tuberculeuse Du Genou de l'Enfant Guillemain-A / Buch Broschur
common.buy 12.99 €
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Buch Broschur
common.buy 54.99 €
Rehabilitationstechnik Marc Kraft / Buch Broschur
common.buy 60.29 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Algebraic Methodology and Software Technology
Autor Helene Kirchner, Christophe Ringeissen
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2002
Anzahl der Seiten 508
EAN 9783540441441
ISBN 3540441441
Libristo-Code 01564599
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1590
Abmessungen 155 x 235 x 28

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Algebra
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

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 / Buch Broschur
common.buy 35.49 €
Software Language Engineering Anthony Sloane / Buch Broschur
common.buy 45.49 €
Cognitive Models and Intelligent Environments for Learning Programming Enrica Lemut / Buch Broschur
common.buy 136.09 €
Time Pressure and Stress in Human Judgment and Decision Making A.J. Maule / Buch Broschur
common.buy 90.79 €
Sandy Lane Stables The Perfect Pony Michelle Bates / Buch Hardcover
common.buy 6.39 €
Lismore Eugene F. Dennis / Buch Broschur
common.buy 15.49 €
Disaster Spiritual Care, 2nd Edition Willard W. C. Ashley Sr / Buch Broschur
common.buy 20.99 €
Saxon Algebra 1/2 Tests Only Third Edition Saxon / Buch Broschur
common.buy 51.39 €
The ABCs of Apostleship: Student Workbook, Book One Paula A. Price / Buch Broschur
common.buy 20.09 €
Psyche And Eros; An International Bimonthly Journal Of Psychoanalysis, Psychotherapeutics And Applied Psychology Wilhelm Stekel / Buch Broschur
common.buy 20.59 €
The Classical Hollywood Cinema: Film Style and Mode of Production to 1960 David Bordwell / Buch Broschur
common.buy 71.39 €
Numicon: Number, Pattern and Calculating 6 Explorer Progress Book B (Pack of 30) Tony Wing / Buch binding.
common.buy 55.19 €
Living and Working in Switzerland David Hampshire / Buch Broschur
common.buy 19.89 €
Constitutional Conscience H.Jefferson Powell / Buch Hardcover
common.buy 33.59 €
American Heritage Journal of Creativity Leah Ojinna / Buch Broschur
common.buy 14.29 €
With Love from the Back of the Yards of Chicago Sonny Street / Buch Broschur
common.buy 16.49 €
Sword of Zagan Clark Ashton Smith / Buch Broschur
common.buy 13.19 €
One Soul's Journey Maureen Niak / Buch Broschur
common.buy 8.49 €
Knowing Poverty Karen Brock / Buch Hardcover
common.buy 43.69 €
Scientific Issues in Quantitative Cancer Risk Assessment Suresh H. Moolgavkar / Buch Broschur
common.buy 45.49 €
University Engagement and Environmental Sustainability Patricia Inman / Buch Hardcover
common.buy 82.99 €
An Exegetical Commentary on the Gospel According to St. Matthew (1909) Alfred Plummer / Buch Broschur
common.buy 42.59 €
Top
For She is Wrath Emily Varga / Buch Broschur
common.buy 7.29 €
Matter and Motion: A Brief History of Kinetic Materialism Nail / Buch Hardcover
common.buy 122.99 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?