Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

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 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer, Berlin
SKU: 01559586
Price: 53.79 EUR
Availability: InStock
Author: Charles Rattray
ISBN: 9783540223818

10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

Charles Rattray

Savitri Maharaj

Sprache

Englisch

Buch Broschur

Libristo-Code: 01559586

Verlag Springer, Berlin, November 2003

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Met... Vollständige Beschreibung

Libristo-Code: 01559586

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

Die Eistaucher Kaska Bryla

Hardcover

24.49 €

Curso de Teologia Patristica PIKAZA XABIER

Broschur

27.79 €

Il était une fois un coeur brisé T01 (relié collector) Stephanie Garber

Hardcover

31.89 €

Sokar - L' ordre des moines-guerriers Ahkena T1 Boivin

Broschur

13.79 €

A Breath of Winter Carina Schnell

Broschur

16.99 €

Briefe über Alexander von Humboldt's Kosmos Julius Schaller

Broschur

69.90 €

CUENTOS DE RISA PARA LEER SIN PRISA MUÑOZ MARTIN

Buch

12.39 €

PACK TEMARIO OPOSICION BOMBERO POSE

Buch

255.49 €

Benedetto Croce, John Dewey. Dialogo sull'estetica Nicola Ramazzotto

Broschur

40.99 €

Manuale di meccanica per invasati di motori Emanuele Sabatino

Broschur

19.09 €

Erfolgsfaktor Standortplanung Steffen Kinkel

Hardcover

69.99 €

Душина. География. 7 кл. Материки, океаны, народы и страны. Учебное пособие. (ФГОС)

binding.

16.49 €

Andaluca y su cante DURAN MUÑOZ

Broschur

8.89 €

Symbole et connaissances de l'initiation maçonnique Fleury

Broschur

24.79 €

Les Cars 3 DISNEY.PIXAR Buch

Broschur

4.69 €

Basic theory of the helicopter - Pictorial initiation ROGER

Broschur

45.09 €

Hydrologische Untersuchungen Johannes Von Wagner

Broschur

12.89 €

Premier Examen Sur Le Code Civil, Contenant Le Premier Livre Du Code CARRE-N

Broschur

20.99 €

Notice Sur Un Enfant d'Indret, Mort A l'Age de 8 ANS GUILLET-C

Broschur

13.19 €

Manuel Des Jeunes Artistes Et Amateurs En Peinture, (Ed.1827) P L Bouvier

Broschur

41.49 €

Neuronale Netze Im Portfolio-Management Klaus Ripper

Broschur

55.29 €

Podoby Židů v literatuře doby romantismu v českých zemích Jiří Holý

Broschur

5.59 €

Arquitectura bioclimática y urbanismo sostenible (volumen II) (Serie Energias renovables)

Broschur

34.59 €

Das Rentier Mit Der Roten Nase Various

Audio CD

5.89 €

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

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 Charles Rattray, Savitri Maharaj

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2004

Anzahl der Seiten 572

EAN 9783540223818

ISBN 3540223819

Libristo-Code 01559586

Verlag Springer, Berlin

Gewicht 860

Abmessungen 156 x 234 x 30

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

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