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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 271 b
39 543 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Coming soon
CIA Tim Weiner / Book Paperback
common.buy 6 281 Ft
Top
Nevera Juliet Rosenfeld / Book Paperback
common.buy 6 470 Ft
La Charmante librairie des amours lointaines Jenny Colgan / Book Paperback
common.buy 4 688 Ft
Det som inte syns Kopparklint / Audiobook MP3
common.buy 2 247 Ft
English Folk Tales of Coast and Sea Lisa Schneidau / Book Hardback
common.buy 6 046 Ft
Návštěva na Godenholmu Ernst Jünger / Book Paperback
common.buy 3 532 Ft
New
Pringel und Finn Wreaders Verlag / Book Hardback
common.buy 5 945 Ft
Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Book Hardback
common.buy 10 923 Ft
Toisilleen luodut Ranta / Audiobook MP3
common.buy 2 528 Ft
De Thematibus Et De Administrando Imperio Immanuel Bekker / Book Paperback
common.buy 11 333 Ft
Ausreißererkennung auf der Grundlage von Clustering über erfasste Daten mit HADOOP Vaibhav Jain / Book Paperback
common.buy 12 410 Ft
Wahrungskrieg IV Song Hongbing / Book Paperback
common.buy 10 614 Ft
Einsichten - Ausblicke Albert Hofmann / E-book Adobe ePub DRM
common.buy 5 038 Ft
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Book Hardback
common.buy 9 040 Ft
Au commencement du temps Bogdanov / Book Paperback
common.buy 8 482 Ft
L'Idiot de la famille Sartre / Book Hardback
common.buy 25 235 Ft
Vier Stern Stunden Daniel Glattauer / Book Hardback
common.buy 5 637 Ft
Koerper trifft Seele Viktoria Georgi / Book Paperback
common.buy 5 084 Ft

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 50 337 Ft
Computational Mechanics 95, 4 S.N. Atluri / Book Paperback
common.buy 39 543 Ft
The Cavalier George Washington Cable / Book Paperback
common.buy 3 095 Ft
Top Coming soon
Cruel Crown Victoria Aveyard / Book Paperback
common.buy 3 108 Ft
Top Coming soon
Attack On Titan: Colossal Edition 3 Hajime Isayama / Book Paperback
common.buy 13 608 Ft
Radical Traditions in Education in the 21st Century Ken Jones / Book Paperback
common.buy 16 781 Ft
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 14 018 Ft
Most Way Home Kevin Young / Book Paperback
common.buy 5 696 Ft
Great Antonio Elise Gravel / Book Hardback
common.buy 4 089 Ft
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Book Paperback
common.buy 6 719 Ft
Eagle Visions Cindi Clarke Summerlin / Book Paperback
common.buy 3 620 Ft
The Nigger from The Black Lagoon Shane Williams / Book Hardback
common.buy 8 105 Ft
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Book Paperback
common.buy 38 728 Ft
Extracted Clover Autrey / Book Paperback
common.buy 3 942 Ft
Collins Birds of the World Norman Arlott / Book Hardback
common.buy 29 629 Ft
Energy for Propulsion Akshai K. Runchal / Book Paperback
common.buy 42 624 Ft
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Book Paperback
common.buy 14 925 Ft
Cambridge Illustrated History of Warfare Geoffrey Parker / Book Paperback
common.buy 18 254 Ft
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-book Adobe ePub DRM
common.buy 69 614 Ft
Thoughts to Reflect On Robert Burns / Book Hardback
common.buy 9 592 Ft
Where the Road Leads Sallie Smith Tribou / Book Hardback
common.buy 9 390 Ft
Isotopes in the Water Cycle Pradeep K. Aggarwal / Book Paperback
common.buy 41 546 Ft
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Book Book
common.buy 1 168 867 Ft
After the Ice Steven Mithen / Book Paperback
common.buy 6 820 Ft

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?