Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.99 € Zbirna točka DPD 3.49 € Kurirska služba GLS 5.99 € Kurir DPD 3.99 € Kurirska služba Express One 3.99 € Zbirno mesto Express One 3.99 € Zbirno mesto Pošte Slovenije 3.99 € Dostava preko Pošte Slovenije 3.99 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564599
Price: 48.6 EUR
Availability: InStock
Author: Helene Kirchner
ISBN: 9783540441441

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

Helene Kirchner

Christophe Ringeissen

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01564599

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, avgust 2002

This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Meth... Celoten opis

Koda Libristo: 01564599

118 b

48.60 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Michel de Certeau lesen. Lire Michel de Certeau Philippe Büttgen

Mehka

35.01 €

Die Begriffsbestimmung des Versuchs und ihre Auswirkung auf den Versuchsbeginn. Luis C. Rey-Sanfiz

Mehka

104.25 €

Dekalog (Neuauflage), 6 DVDs Krzysztof Kieslowski

DVD

42.56 €

Batman/Superman: World's finest Mark Waid

Mehka

17.81 €

Les audacieux corsaires de l'île de Malte Roussel

Mehka

11.06 €

Le Chat Noir, Vaudeville En 1 Acte Dupin-H

Mehka

11.26 €

Humanae Vitae PABLO VI

Trda

4.72 €

DICCIONARI BASIC CATALÁ-CASTELLÁ, CASTELLÁ-CATALÁ Diversos autors

Mehka

13.37 €

La piel del cielo (Premio Alfaguara de novela 2001) ELENA PONIATOWSKA

Mehka

19.11 €

Auf die Platze, fertig, Bachbluten! Giuliano Sannicolo

Mehka

16.90 €

Presseberufe im Gemeinsamen Markt. Andreas Lahusen

Mehka

39.84 €

Der Coup seines Lebens Ingrid Grommé

Mehka

12.57 €

Schattenkünstler Kia Vahland

Trda

11.16 €

Die deutsche Hanse Gisela Graichen

Mehka

16.90 €

ARNOUB YAFQIDO ADDAKIRA AL-AMIRI Knjiga

Mehka

7.14 €

Jésus et les vendeurs du Temple (Jn 2,13), Carte simple Vie de Jésus Mafa MAFA Igra/Igrača

Igrača

2.41 €

Ansichten der Subjektivität Manfred Frank

Mehka

18.41 €

Bauman Dariusz Rosiak

Trda

7.54 €

Puzzle 500 Arrinera hussarya 33 B-52950

Igra

7.44 €

Erfolg fur Dummies Sonderausgabe Zig Ziglar

Mehka

10.86 €

Amerika und Wir. Robert v. Scheller-Steinwartz

Mehka

31.09 €

Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz

Mehka

49.91 €

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.