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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer, Berlin
SKU: 05274474
Price: 101.79 EUR
Availability: InStock
Author: V. S. Alagar
ISBN: 9783540600435

4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings

V. S. Alagar

Maurice Nivat

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274474

Verlag Springer, Berlin, November 1994

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology... Vollständige Beschreibung

Libristo-Code: 05274474

249 b

101.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Die Grafiken und Aufgaben des Buches Mathematik (DVD), 1 DVD-ROM Tilo Arens

Digital DVD

9.98 €

Call of the night - Tome 5 Kotoyama

Broschur

8.49 €

1000 PREGUNTAS Y RESPUESTAS SOBRE EL CUERPO HUMANO

Broschur

20.59 €

Optimalizácia dane, bez chýb, pokút a penále Anton Kolembus

Broschur

7.59 €

Человечество в новой реальности: глобальные биотехнологические вызовы

Hardcover

32.39 €

Eloges Et Discours, La Triomphante Reception Du Roy En Paris Apres La Reduction de la Rochelle ROCOLET

Broschur

17.19 €

Carl Bellingrodt, das fotografische Werk, Band 7 Dietrich Bothe

Broschur

59.80 €

Contemporary Yoga and Sacred Texts Susanne Scholz

Hardcover

189.70 €

Fisilti Korusu

Broschur

15.79 €

Tatra kolem světa Stanislav Synek

Hardcover

8.09 €

Remarques et animadversions sur l'approbation des lois et coustumier de Normandie usitees es jurisdictions de Guerneze, et particulierement en la Cour Thomas Le Marchant

Hardcover

39.69 €

Die Frau in der Karikatur Eduard Fuchs

Broschur

31.50 €

J. S. Bach Para O Trompete: 10 Pe Easy Classical Masterworks

Broschur

9.79 €

Mit Macht verbunden Sigrid Ruby

Hardcover

59.00 €

Bugün Hayattayiz Ya Emmanuelle Pirotte

Broschur

14.69 €

Detektiv Nobody's Erlebnisse und Reiseabenteuer Robert Kraft

Broschur

24.90 €

Memoires d'un artiste Charles Gounod

Hardcover

17.69 €

Nutzen der Digitalen Fabrik Volker Weiner

Broschur

148.00 €

Die große Sternenschweif Hörbox Folgen 7-9 (3 Audio CDs). Folge.7-9, 3 Audio-CD Linda Chapman

Audio CD

16.99 €

Alexander von Humboldt und das Judentum Adolph Kohut

Broschur

33.90 €

Kundennutzen: die Anwendung im Verkaufsgesprach Thomas Menthe

Broschur

37.99 €

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logic programming and databases.

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 V. S. Alagar, Maurice Nivat

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1995

Anzahl der Seiten 597

EAN 9783540600435

ISBN 3540600434

Libristo-Code 05274474

Verlag Springer, Berlin

Gewicht 816

Abmessungen 156 x 234 x 31

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Angewandte Mathematik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

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