[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Algebraic Methodology and Software Technology

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 161 b
64.16 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Finite Element Analysis in Geotechnical Engineering D. / Hardcover
common.buy 240.02 €
Die deutsche Hanse Gisela Graichen / Broschur
common.buy 14.13 €
Betriebswirtschaftliches und Rechtsbewusstes Handeln Helmut Preis / Broschur
common.buy 25.12 €
Durchsichtige Dinge Vladimír Nabokov / Hardcover
common.buy 14.13 €
Einleitung in die Moralwissenschaft. Bd.2 Georg Simmel / Broschur
common.buy 14.13 €
Beamed Energy Propulsion Claude R. Phipps / Hardcover
common.buy 223.07 €
IUTAM Symposium on Multiscale Modeling and Characterization of Elastic-Inelastic Behavior of Engineering Materials S. Ahzi / Hardcover
common.buy 194.62 €
Human Demography and Disease Susan Scott / Hardcover
common.buy 174.04 €
Instructional Explanations in the Disciplines Mary K. Stein / Hardcover
common.buy 126.51 €
Erfolg fur Dummies Sonderausgabe Zig Ziglar / Broschur
common.buy 12.11 €
All-In-One Quilter's Reference Tool (2nd edition) Harriet Hargrave / Ring
common.buy 16.34 €
Lismore Eugene F. Dennis / Broschur
common.buy 21.68 €
Biofuels, Solar and Wind as Renewable Energy Systems David Pimentel / Hardcover
common.buy 126.51 €
Human Nature and Public Policy S. Peterson / Broschur
common.buy 64.16 €
Genxegesis John M. Ulrich / Broschur
common.buy 23.80 €
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Broschur
common.buy 55.48 €

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.

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

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