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
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.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 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Michel de Certeau lesen. Lire Michel de Certeau Philippe Büttgen / Buch Broschur
common.buy 40.69 €
Jésus et les vendeurs du Temple (Jn 2,13), Carte simple Vie de Jésus Mafa MAFA Spiel/Spielzeug Spielzeug
common.buy 2.89 €
Bauman Dariusz Rosiak / Buch Hardcover
common.buy 9.39 €
Universität und Adel. Rainer A. Müller / Buch Broschur
common.buy 66.39 €
Puzzle 500 Arrinera hussarya 33 B-52950 / Spiel/Spielzeug Spiel
common.buy 6.89 €
Presseberufe im Gemeinsamen Markt. Andreas Lahusen / Buch Broschur
common.buy 34.90 €
Das Vertragsrecht internationaler Organisationen. Eckart Klein / Buch Broschur
common.buy 39.90 €
ENCYCLOPEDIE DE LA BASSE + 2CD (FRENCH EDITION) +CD WESTWOOD Buch binding.
common.buy 84.59 €
Émile ou De l'éducation, Livres I-II - Prépas scientifiques 2022 Rousseau / Buch Broschur
common.buy 12.79 €
Game Chain stories & shower of questions conditional I / Buch binding.
common.buy 11.69 €
Cartes de Llet del Ratoli Perez Isabel Caballero / Buch Broschur
common.buy 13.89 €
La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA / Buch Broschur
common.buy 22.29 €
Batman/Superman: World's finest Mark Waid / Buch Broschur
common.buy 22.00 €
Mitgefühlstraining Chris Irons / E-Book Adobe ePub DRM
common.buy 33.09 €
La naturaleza en disputa Emanuela Bienchi / E-Book Adobe ePub DRM
common.buy 13.69 €
Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski / Video DVD
common.buy 49.39 €
Etude de l'Osteo-Arthrite Tuberculeuse Du Genou de l'Enfant Guillemain-A / Buch Broschur
common.buy 17.09 €
Durchsichtige Dinge Vladimír Nabokov / Buch Hardcover
common.buy 14.69 €
Buntstift Colour GRIP 36er / Spiel/Spielzeug Spielzeug
common.buy 47.09 €
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Buch Broschur
common.buy 55.29 €
Rehabilitationstechnik Marc Kraft / Buch Broschur
common.buy 75.09 €
Entre naranjos Vicente Blasco Ibá / Buch Broschur
common.buy 16.89 €
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 14.19 €

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 43.59 €
Software Language Engineering Anthony Sloane / Buch Broschur
common.buy 53.79 €
Sandy Lane Stables The Perfect Pony Michelle Bates / Buch Hardcover
common.buy 7.69 €
Time Pressure and Stress in Human Judgment and Decision Making A.J. Maule / Buch Broschur
common.buy 107.29 €
The ABCs of Apostleship: Student Workbook, Book One Paula A. Price / Buch Broschur
common.buy 23.99 €
Saxon Algebra 1/2 Tests Only Third Edition Saxon / Buch Broschur
common.buy 57.89 €
Psyche And Eros; An International Bimonthly Journal Of Psychoanalysis, Psychotherapeutics And Applied Psychology Wilhelm Stekel / Buch Broschur
common.buy 25.79 €
The Classical Hollywood Cinema: Film Style and Mode of Production to 1960 David Bordwell / Buch Broschur
common.buy 71.39 €
Living and Working in Switzerland David Hampshire / Buch Broschur
common.buy 24.69 €
Lismore Eugene F. Dennis / Buch Broschur
common.buy 19.09 €
One Soul's Journey Maureen Niak / Buch Broschur
common.buy 11.19 €
Knowing Poverty Karen Brock / Buch Hardcover
common.buy 50.29 €
Scientific Issues in Quantitative Cancer Risk Assessment Suresh H. Moolgavkar / Buch Broschur
common.buy 53.79 €
Demnächst
Leeds Rugby League Football Club (Classic Matches) Peter Smith / Buch Broschur
common.buy 14.69 €
Benefactor Susan Sontag / Buch Broschur
common.buy 14.69 €
Politics, Art and Commitment in the East European Cinema D.W. Paul / Buch Broschur
common.buy 55.09 €
Sword of Zagan Clark Ashton Smith / Buch Broschur
common.buy 16.19 €
Top
Cosmic Trigger I Robert Anton Wilson / Buch Broschur
common.buy 23.99 €
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 / Buch Broschur
common.buy 27.89 €
A Window in Thrums by J.M. Barrie (Classics) J M Barrie / Buch Broschur
common.buy 9.69 €
Amish Hope Beth Wiseman / Buch Broschur
common.buy 9.19 €
Delusions Amy Crandall / Buch Broschur
common.buy 15.39 €
Herbal Drugs: Synthesis, Interactions and Applications Melissa Gould / Buch Hardcover
common.buy 136.49 €
Alexz Ferretti Lindsay Anderson / Buch Broschur
common.buy 6.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?