Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Algebraic Methodology and Software Technology

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

Language EnglishEnglish
Book Paperback
Book Algebraic Methodology and Software Technology V. S. Alagar
Libristo code: 05274474
Publishers Springer, Berlin, November 1994
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology... Full description
? points 263 b
107.29 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Die Grafiken und Aufgaben des Buches Mathematik (DVD), 1 DVD-ROM Tilo Arens / Digital Digital DVD
common.buy 11.99 €
Fisilti Korusu / Book Paperback
common.buy 15.79 €
Человечество в новой реальности: глобальные биотехнологические вызовы / Book Hardback
common.buy 36.29 €
1000 PREGUNTAS Y RESPUESTAS SOBRE EL CUERPO HUMANO / Book Paperback
common.buy 24.39 €
Tatra kolem světa Stanislav Synek / Book Hardback
common.buy 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 / Book Hardback
common.buy 39.69 €
Die Frau in der Karikatur Eduard Fuchs / Book Paperback
common.buy 32.09 €
Mit Macht verbunden Sigrid Ruby / Book Hardback
common.buy 59.00 €
Bugün Hayattayiz Ya Emmanuelle Pirotte / Book Paperback
common.buy 14.69 €
Eloges Et Discours, La Triomphante Reception Du Roy En Paris Apres La Reduction de la Rochelle ROCOLET / Book Paperback
common.buy 20.99 €
Detektiv Nobody's Erlebnisse und Reiseabenteuer Robert Kraft / Book Paperback
common.buy 24.90 €
Memoires d'un artiste Charles Gounod / Book Hardback
common.buy 18.79 €
Nutzen der Digitalen Fabrik Volker Weiner / Book Paperback
common.buy 148.00 €
Die große Sternenschweif Hörbox Folgen 7-9 (3 Audio CDs). Folge.7-9, 3 Audio-CD Linda Chapman / Audio Audio CD
common.buy 16.99 €
Kundennutzen: die Anwendung im Verkaufsgesprach Thomas Menthe / Book Paperback
common.buy 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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Algebraic Methodology and Software Technology
Author V. S. Alagar, Maurice Nivat
Language English
Binding Book - Paperback
Date of issue 1995
Number of pages 597
EAN 9783540600435
ISBN 3540600434
Libristo code 05274474
Publishers Springer, Berlin
Weight 816
Dimensions 156 x 234 x 31

Categories

Mathematics & Science > Mathematics > Applied mathematics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Theoretical Aspects of Computer Software Martin Abadi / Book Paperback
common.buy 107.29 €
Legislative Manual of the State of Ohio Ohio General Assembly / Book Paperback
common.buy 23.89 €
Image Processing Irma / Book Hardback
common.buy 825.69 €
Memory, Aging and the Brain Lars Nyberg / Book Paperback
common.buy 79.89 €
Life of Petrarch. Collected from Memoires Pour La Vie de Petrarch, in Two Volumes. ... Volume 2 of 2 Jacques-Franois-Paul-Aldonce De Sade / Book Paperback
common.buy 31.79 €
Spring Snowman Amanda Zimmerman / Book Paperback
common.buy 8.79 €
Rethinking Racial Capitalism Gargi Bhattacharyya / Book Paperback
common.buy 61.89 €
The Troubleshooter Austin S. Camacho / Book Paperback
common.buy 15.79 €
The Androids Are Coming: Philip K. Dick, Isaac Asimov, Alfred Bester, and More Robert Silverberg / Book Paperback
common.buy 16.19 €
Beowulf Meghan Purvis / Book Paperback
common.buy 16.09 €
A Digest of the Law of Evidence on the Trial of Actions at Nisi Prius. Henry Roscoe / Book Paperback
common.buy 40.69 €
Policy and Practice in Primary Education Robin Alexander / Book Hardback
common.buy 253.19 €
Stress: The Modern Woman's Guide To A Stress Free Lifestyle Stacy Shakespeare / Book Paperback
common.buy 14.39 €
First Questions and Answers: Where Does Poo Go? Katie Daynes / Book Board book
common.buy 11.39 €
Lady Chatterley's Lover David Herbert Lawrence / Book Paperback
common.buy 13.59 €
Top
Spectrum Machine Language for the Absolute Beginner William Tang / Book Paperback
common.buy 17.29 €
Destined to the Alpha Olivia T. Turner / Book Paperback
common.buy 10.69 €
Egyptian Legends For Kids History Brought Alive / Book Hardback
common.buy 25.09 €
Kierkegaard: Fear and Trembling Soren Kierkegaard / Book Hardback
common.buy 96.39 €
Ubiquitous Computing and Ambient Intelligence: Context-Awareness and Context-Driven Interaction Gabriel Urzaiz / Book Paperback
common.buy 53.79 €
Introduction to Stability Theory Anand Pillay / Book Paperback
common.buy 10.39 €
End of Reciprocity Mark J Osiel / Book Paperback
common.buy 72.29 €
Little Book of Bereavement for Schools Ian Gilbert / Book Hardback
common.buy 16.49 €
America's First Women Philosophers Dorothy G. Rogers / Book Paperback
common.buy 60.59 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?