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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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
40 398 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Toisilleen luodut Ranta / Audiobook MP3
common.buy 2 598 Ft
Návštěva na Godenholmu Ernst Jünger / Book Paperback
common.buy 3 609 Ft
Pringel und Finn Wreaders Verlag / Book Hardback
common.buy 6 056 Ft
English Folk Tales of Coast and Sea Lisa Schneidau / Book Hardback
common.buy 6 165 Ft
Nevera Juliet Rosenfeld / Book Paperback
common.buy 6 595 Ft
Det som inte syns Kopparklint / Audiobook MP3
common.buy 2 315 Ft
Mój pierwszy zestaw do kolorowania przyjaciele dinozaurów / Game/Toy Toy
common.buy 7 134 Ft
Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Book Hardback
common.buy 10 729 Ft
La Charmante librairie des amours lointaines Jenny Colgan / Book Paperback
common.buy 4 356 Ft
De Thematibus Et De Administrando Imperio Immanuel Bekker / Book Paperback
common.buy 11 582 Ft
Ausreißererkennung auf der Grundlage von Clustering über erfasste Daten mit HADOOP Vaibhav Jain / Book Paperback
common.buy 12 686 Ft
Einsichten - Ausblicke Albert Hofmann / E-book Adobe ePub DRM
common.buy 5 163 Ft
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Book Hardback
common.buy 9 206 Ft
Au commencement du temps Bogdanov / Book Paperback
common.buy 8 222 Ft
L'Idiot de la famille Sartre / Book Hardback
common.buy 25 368 Ft
Top
Vier Stern Stunden Daniel Glattauer / Book Hardback
common.buy 5 686 Ft
Conociendo y Experimentando a Dios Arthur S Meintjes / Book Paperback
common.buy 7 567 Ft
Koerper trifft Seele Viktoria Georgi / Book Paperback
common.buy 5 176 Ft
Rauch, 2 DVDs Iwan S. Turgenjew / Video DVD
common.buy 6 970 Ft
CIA Tim Weiner / Book Paperback
common.buy 6 402 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 51 423 Ft
Computational Mechanics 95, 4 S.N. Atluri / Book Paperback
common.buy 40 398 Ft
The Cavalier George Washington Cable / Book Paperback
common.buy 3 163 Ft
Top Coming soon
Cruel Crown Victoria Aveyard / Book Paperback
common.buy 3 179 Ft
Coming soon
Attack On Titan: Colossal Edition 3 Hajime Isayama / Book Paperback
common.buy 14 343 Ft
Gratitude Cleanse Gemma Farrell / Book Paperback
common.buy 7 134 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 311 Ft
Most Way Home Kevin Young / Book Paperback
common.buy 5 967 Ft
Great Antonio Elise Gravel / Book Hardback
common.buy 4 252 Ft
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Book Paperback
common.buy 7 060 Ft
Eagle Visions Cindi Clarke Summerlin / Book Paperback
common.buy 3 699 Ft
Extracted Clover Autrey / Book Paperback
common.buy 4 028 Ft
Collins Birds of the World Norman Arlott / Book Hardback
common.buy 30 262 Ft
Energy for Propulsion Akshai K. Runchal / Book Paperback
common.buy 43 547 Ft
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Book Paperback
common.buy 15 252 Ft
The Nigger from The Black Lagoon Shane Williams / Book Hardback
common.buy 8 281 Ft
Cambridge Illustrated History of Warfare Geoffrey Parker / Book Paperback
common.buy 17 729 Ft
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-book Adobe ePub DRM
common.buy 71 644 Ft
Thoughts to Reflect On Robert Burns / Book Hardback
common.buy 9 804 Ft
Beginning Biblical Hebrew Robert D. Sacks / Book Paperback
common.buy 6 566 Ft
AFRICAN HOLISTIC HEALTH L O Afrika / Book Paperback
common.buy 7 030 Ft
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Book Paperback
common.buy 39 547 Ft
Top
After the Ice Steven Mithen / Book Paperback
common.buy 6 956 Ft
Isotopes in the Water Cycle Pradeep K. Aggarwal / Book Paperback
common.buy 44 724 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?