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
DPD courier 4.99 € GLS courier 11.49 €
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 277 b
114.71 €
Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

CIA Tim Weiner / Book Paperback
common.buy 16.31 €
Top
Nevera Juliet Rosenfeld / Book Paperback
common.buy 18.33 €
La Charmante librairie des amours lointaines Jenny Colgan / Book Paperback
common.buy 13.27 €
Det som inte syns Kopparklint / Audiobook MP3
common.buy 6.37 €
English Folk Tales of Coast and Sea Lisa Schneidau / Book Hardback
common.buy 16.10 €
Návštěva na Godenholmu Ernst Jünger / Book Paperback
common.buy 10.02 €
New
Pringel und Finn Wreaders Verlag / Book Hardback
common.buy 15.39 €
Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Book Hardback
common.buy 31.00 €
Toisilleen luodut Ranta / Audiobook MP3
common.buy 7.19 €
De Thematibus Et De Administrando Imperio Immanuel Bekker / Book Paperback
common.buy 29.79 €
Ausreißererkennung auf der Grundlage von Clustering über erfasste Daten mit HADOOP Vaibhav Jain / Book Paperback
common.buy 36.88 €
Wahrungskrieg IV Song Hongbing / Book Paperback
common.buy 27.96 €
Einsichten - Ausblicke Albert Hofmann / E-book Adobe ePub DRM
common.buy 14.28 €
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Book Hardback
common.buy 25.63 €
Au commencement du temps Bogdanov / Book Paperback
common.buy 24.01 €
L'Idiot de la famille Sartre / Book Hardback
common.buy 71.54 €
Vier Stern Stunden Daniel Glattauer / Book Hardback
common.buy 16.00 €
Koerper trifft Seele Viktoria Georgi / Book Paperback
common.buy 23.91 €

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 147.14 €
Computational Mechanics 95, 4 S.N. Atluri / Book Paperback
common.buy 113.70 €
The Cavalier George Washington Cable / Book Paperback
common.buy 8.10 €
Top Coming soon
Cruel Crown Victoria Aveyard / Book Paperback
common.buy 7.89 €
Top Coming soon
Attack On Titan: Colossal Edition 3 Hajime Isayama / Book Paperback
common.buy 34.65 €
Radical Traditions in Education in the 21st Century Ken Jones / Book Paperback
common.buy 44.18 €
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 36.47 €
Most Way Home Kevin Young / Book Paperback
common.buy 14.79 €
Great Antonio Elise Gravel / Book Hardback
common.buy 11.14 €
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Book Paperback
common.buy 17.83 €
Eagle Visions Cindi Clarke Summerlin / Book Paperback
common.buy 9.52 €
The Nigger from The Black Lagoon Shane Williams / Book Hardback
common.buy 21.27 €
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Book Paperback
common.buy 104.88 €
Extracted Clover Autrey / Book Paperback
common.buy 10.33 €
Collins Birds of the World Norman Arlott / Book Hardback
common.buy 78.74 €
Energy for Propulsion Akshai K. Runchal / Book Paperback
common.buy 124.95 €
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Book Paperback
common.buy 39.31 €
Cambridge Illustrated History of Warfare Geoffrey Parker / Book Paperback
common.buy 48.23 €
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-book Adobe ePub DRM
common.buy 197.72 €
Thoughts to Reflect On Robert Burns / Book Hardback
common.buy 25.33 €
Where the Road Leads Sallie Smith Tribou / Book Hardback
common.buy 24.72 €
Isotopes in the Water Cycle Pradeep K. Aggarwal / Book Paperback
common.buy 114.71 €
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Book Book
common.buy 3 090.33 €
After the Ice Steven Mithen / Book Paperback
common.buy 18.13 €

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?