Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Algebraic Methodology and Software Technology

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

271 b

41 204 Ft

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

4 170 Ft

Call of the night - Tome 5 Kotoyama

Paperback

3 757 Ft

1000 PREGUNTAS Y RESPUESTAS SOBRE EL CUERPO HUMANO

Paperback

8 963 Ft

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

Paperback

3 148 Ft

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

Hardback

12 797 Ft

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

Paperback

8 052 Ft

Carl Bellingrodt, das fotografische Werk, Band 7 Dietrich Bothe

Paperback

20 312 Ft

Contemporary Yoga and Sacred Texts Susanne Scholz

Hardback

96 332 Ft

Fisilti Korusu

Paperback

6 056 Ft

Tatra kolem světa Stanislav Synek

Hardback

3 133 Ft

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

15 187 Ft

Die Frau in der Karikatur Eduard Fuchs

Paperback

11 262 Ft

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

Paperback

3 757 Ft

Mit Macht verbunden Sigrid Ruby

Hardback

21 180 Ft

Bugün Hayattayiz Ya Emmanuelle Pirotte

Paperback

5 662 Ft

Detektiv Nobody's Erlebnisse und Reiseabenteuer Robert Kraft

Paperback

9 007 Ft

Memoires d'un artiste Charles Gounod

Hardback

7 212 Ft

Nutzen der Digitalen Fabrik Volker Weiner

Paperback

52 984 Ft

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

Audio CD

5 796 Ft

Alexander von Humboldt und das Judentum Adolph Kohut

Paperback

12 749 Ft

Kundennutzen: die Anwendung im Verkaufsgesprach Thomas Menthe

Paperback

14 424 Ft

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.