Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer, Berlin
SKU: 05274474
Price: 102.71 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

Language

English

Book Paperback

Libristo code: 05274474

Publishers Springer, Berlin, November 1994

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology... Full description

Libristo code: 05274474

249 b

102.71 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Digital DVD

11.49 €

Call of the night - Tome 5 Kotoyama

Paperback

10.38 €

1000 PREGUNTAS Y RESPUESTAS SOBRE EL CUERPO HUMANO

Paperback

23.50 €

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

Paperback

8.57 €

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

Hardback

34.70 €

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

Paperback

20.27 €

Carl Bellingrodt, das fotografische Werk, Band 7 Dietrich Bothe

Paperback

50.04 €

Contemporary Yoga and Sacred Texts Susanne Scholz

Hardback

243.78 €

Fisilti Korusu

Paperback

15.13 €

Tatra kolem světa Stanislav Synek

Hardback

8.97 €

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

Hardback

38.13 €

Die Frau in der Karikatur Eduard Fuchs

Paperback

30.67 €

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

Paperback

9.37 €

Mit Macht verbunden Sigrid Ruby

Hardback

52.46 €

Bugün Hayattayiz Ya Emmanuelle Pirotte

Paperback

14.12 €

Detektiv Nobody's Erlebnisse und Reiseabenteuer Robert Kraft

Paperback

22.29 €

Memoires d'un artiste Charles Gounod

Hardback

17.85 €

Nutzen der Digitalen Fabrik Volker Weiner

Paperback

131.27 €

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

Audio CD

14.22 €

Alexander von Humboldt und das Judentum Adolph Kohut

Paperback

34.70 €

Kundennutzen: die Anwendung im Verkaufsgesprach Thomas Menthe

Paperback

35.81 €

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.