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
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 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Algebraic Methodology and Software Technology

5th International Conference, AMAST '96, Munich, Germany, July 1996, Proceedings

Language EnglishEnglish
Book Paperback
Book Algebraic Methodology and Software Technology Maurice Nivat
Libristo code: 05274595
Publishers Springer, Berlin, November 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Full description
? points 249 b
102.67 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Book Hardback
common.buy 30.65 €
CIA Tim Weiner / Book Paperback
common.buy 16.23 €
Návštěva na Godenholmu Ernst Jünger / Book Paperback
common.buy 9.98 €
Top
Nevera Juliet Rosenfeld / Book Paperback
common.buy 18.15 €
English Folk Tales of Coast and Sea Lisa Schneidau / Book Hardback
common.buy 15.93 €
De Thematibus Et De Administrando Imperio Immanuel Bekker / Book Paperback
common.buy 29.64 €
La Charmante librairie des amours lointaines Jenny Colgan / Book Paperback
common.buy 13.00 €
Pringel und Finn Wreaders Verlag / Book Hardback
common.buy 15.32 €
Ausreißererkennung auf der Grundlage von Clustering über erfasste Daten mit HADOOP Vaibhav Jain / Book Paperback
common.buy 31.96 €
Wahrungskrieg IV Song Hongbing / Book Paperback
common.buy 27.83 €
Einsichten - Ausblicke Albert Hofmann / E-book Adobe ePub DRM
common.buy 14.21 €
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Book Hardback
common.buy 25.51 €
Au commencement du temps Bogdanov / Book Paperback
common.buy 23.69 €
L'Idiot de la famille Sartre / Book Hardback
common.buy 71.00 €
Vier Stern Stunden Daniel Glattauer / Book Hardback
common.buy 15.83 €
Conociendo y Experimentando a Dios Arthur S Meintjes / Book Paperback
common.buy 19.26 €
Rauch, 2 DVDs Iwan S. Turgenjew / Video DVD
common.buy 17.84 €
Koerper trifft Seele Viktoria Georgi / Book Paperback
common.buy 13.10 €

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.

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 Maurice Nivat, Martin Wirsing
Language English
Binding Book - Paperback
Date of issue 1996
Number of pages 647
EAN 9783540614630
ISBN 354061463X
Libristo code 05274595
Publishers Springer, Berlin
Weight 850
Dimensions 156 x 234 x 33

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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

Abdominal and Pelvic Imaging Cases Mukesh G. Harisinghani / Book Hardback
common.buy 130.51 €
Computational Mechanics 95, 4 S.N. Atluri / Book Paperback
common.buy 102.67 €
The Cavalier George Washington Cable / Book Paperback
common.buy 8.06 €
Coming soon
Attack On Titan: Colossal Edition 3 Hajime Isayama / Book Paperback
common.buy 34.89 €
Gratitude Cleanse Gemma Farrell / Book Paperback
common.buy 18.45 €
North Carolina Grade 6 Mathematics Success Strategies Study Guide: North Carolina Eog Test Review for the North Carolina End-Of-Grade Tests North Carolina Eog Exam Secrets Test Pre / Book Paperback
common.buy 37.31 €
Most Way Home Kevin Young / Book Paperback
common.buy 14.72 €
Great Antonio Elise Gravel / Book Hardback
common.buy 10.98 €
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Book Paperback
common.buy 17.74 €
Eagle Visions Cindi Clarke Summerlin / Book Paperback
common.buy 9.47 €
The Nigger from The Black Lagoon Shane Williams / Book Hardback
common.buy 20.87 €
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Book Paperback
common.buy 104.39 €
Extracted Clover Autrey / Book Paperback
common.buy 10.28 €
Collins Birds of the World Norman Arlott / Book Hardback
common.buy 78.36 €
Energy for Propulsion Akshai K. Runchal / Book Paperback
common.buy 110.44 €
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Book Paperback
common.buy 39.13 €
Cambridge Illustrated History of Warfare Geoffrey Parker / Book Paperback
common.buy 48.00 €
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-book Adobe ePub DRM
common.buy 198.69 €
Thoughts to Reflect On Robert Burns / Book Hardback
common.buy 25.21 €
Coming soon
Social Embeddedness of Industrial Ecology Frank Boons / Book Paperback
common.buy 55.36 €
Isotopes in the Water Cycle Pradeep K. Aggarwal / Book Paperback
common.buy 114.07 €
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Book Book
common.buy 3 075.68 €
Rebecca`s Reward Lauraine Snelling / Book Paperback
common.buy 18.35 €
Top
After the Ice Steven Mithen / Book Paperback
common.buy 18.04 €

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?