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

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 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

Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Book Hardback
common.buy 31.89 €
Toisilleen luodut Ranta / Audiobook MP3
common.buy 7.39 €
CIA Tim Weiner / Book Paperback
common.buy 18.00 €
Návštěva na Godenholmu Ernst Jünger / Book Paperback
common.buy 10.49 €
Top
Nevera Juliet Rosenfeld / Book Paperback
common.buy 18.99 €
English Folk Tales of Coast and Sea Lisa Schneidau / Book Hardback
common.buy 19.00 €
De Thematibus Et De Administrando Imperio Immanuel Bekker / Book Paperback
common.buy 30.79 €
Det som inte syns Kopparklint / Audiobook MP3
common.buy 6.59 €
New
Pringel und Finn Wreaders Verlag / Book Hardback
common.buy 17.00 €
La Charmante librairie des amours lointaines Jenny Colgan / Book Paperback
common.buy 13.69 €
Wahrungskrieg IV Song Hongbing / Book Paperback
common.buy 28.89 €
Einsichten - Ausblicke Albert Hofmann / E-book Adobe ePub DRM
common.buy 14.79 €
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Book Hardback
common.buy 25.29 €
Au commencement du temps Bogdanov / Book Paperback
common.buy 24.79 €
L'Idiot de la famille Sartre / Book Hardback
common.buy 73.69 €
Vier Stern Stunden Daniel Glattauer / Book Hardback
common.buy 16.00 €
Koerper trifft Seele Viktoria Georgi / Book Paperback
common.buy 14.50 €

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 136.49 €
Computational Mechanics 95, 4 S.N. Atluri / Book Paperback
common.buy 107.29 €
The Cavalier George Washington Cable / Book Paperback
common.buy 8.39 €
Top Coming soon
Cruel Crown Victoria Aveyard / Book Paperback
common.buy 8.39 €
Coming soon
Attack On Titan: Colossal Edition 3 Hajime Isayama / Book Paperback
common.buy 36.59 €
Radical Traditions in Education in the 21st Century Ken Jones / Book Paperback
common.buy 45.69 €
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.99 €
Most Way Home Kevin Young / Book Paperback
common.buy 15.39 €
Great Antonio Elise Gravel / Book Hardback
common.buy 11.69 €
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Book Paperback
common.buy 18.29 €
Eagle Visions Cindi Clarke Summerlin / Book Paperback
common.buy 9.79 €
The Nigger from The Black Lagoon Shane Williams / Book Hardback
common.buy 22.09 €
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Book Paperback
common.buy 108.39 €
Extracted Clover Autrey / Book Paperback
common.buy 10.69 €
Collins Birds of the World Norman Arlott / Book Hardback
common.buy 82.89 €
Energy for Propulsion Akshai K. Runchal / Book Paperback
common.buy 115.59 €
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Book Paperback
common.buy 40.69 €
Cambridge Illustrated History of Warfare Geoffrey Parker / Book Paperback
common.buy 49.79 €
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-book Adobe ePub DRM
common.buy 204.49 €
Thoughts to Reflect On Robert Burns / Book Hardback
common.buy 26.09 €
Beginning Biblical Hebrew Robert D. Sacks / Book Paperback
common.buy 17.39 €
Isotopes in the Water Cycle Pradeep K. Aggarwal / Book Paperback
common.buy 118.29 €
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Book Book
common.buy 3 187.49 €
After the Ice Steven Mithen / Book Paperback
common.buy 19.09 €

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?