Code: 05274595

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer, Berlin
SKU: 05274595
Price: 102.73 EUR
Availability: InStock
Author: Maurice Nivat
ISBN: 9783540614630

by Maurice Nivat, Martin Wirsing

Language: English
Binding: Paperback
Number of pages: 647
Publisher: Springer, Berlin, 1996
More about this

102.73 €

RRP: 111.34 €

You save 8.61 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Nevera
13.51 € -29 %
Buy
After the Ice
17.45 € -27 %
Buy
Attack On Titan: Colossal Edition 3
35.21 € -29 %
Pre-order
Cruel Crown
7.86 € -29 %
Pre-order
Návštěva na Godenholmu
9.58 € -16 %
Buy
Collins Birds of the World
73.57 € -29 %
Buy
Beginning Biblical Hebrew
13.92 € -24 %
Buy
CIA
16.24 € -10 %
Buy
Abdominal and Pelvic Imaging Cases
130.59 € -9 %
Buy
Cambridge Illustrated History of Warfare
45.81 €
Buy
The Nigger from The Black Lagoon
20.18 € -2 %
Buy
Pringel und Finn
15.33 € -10 %
Buy
English Folk Tales of Coast and Sea
15.94 € -16 %
Buy
Ausreißererkennung auf der Grundlage von Clustering über erfasste Daten mit HADOOP
31.98 € -11 %
Buy
Isotopes in the Water Cycle
109.09 €
Buy
Computational Mechanics 95, 4
102.73 € -7 %
Buy
Au commencement du temps
23.91 €
Buy
Lilith, la lune noire - Oracle de l'alchimie cosmique
30.87 €
Buy
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
51.56 € -7 %
Buy
Reform Medicaid First
11.29 € -25 %
Buy
Radical Traditions in Education in the 21st Century
43.99 €
Buy
10 Financial Mistakes You Should Avoid
16.95 €
Buy
Energy for Propulsion
110.51 € -9 %
Buy
Rauch, 2 DVDs
17.85 €
Buy
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885)
37.23 € -1 %
Buy
Wahrungskrieg IV
26.43 € -2 %
Buy
Using C&IT to Support Teaching
60.04 €
Pre-order
Most Way Home
13.92 € -17 %
Buy
Women, Body, Illness
156.33 €
Buy
Rebecca`s Reward
10.59 € -9 %
Buy
North Carolina Grade 6 Mathematics Success Strategies Study Guide: North Carolina Eog Test Review for the North Carolina End-Of-Grade Tests
36.32 € -9 %
Buy
Going Deep
16.14 € -17 %
Buy
L'Idiot de la famille
71.35 €
Buy
La Charmante librairie des amours lointaines
13.21 €
Buy
Nautical Descriptions of the West Coast of Great Britain, from Bristol Channel to Cape-Wrath Adapted to the Several Charts in the Maritim Survey of th
18.16 € -2 %
Buy
De Thematibus Et De Administrando Imperio
28.25 € -1 %
Buy
Koerper trifft Seele
13.11 € -10 %
Buy
Elements of Universal History, on a New and Systematic Plan; From the Earliest Times to the Treaty of Vienna. to Which Is Added a Summary of the Leadi
30.87 € -2 %
Buy
The Cavalier
7.66 € -7 %
Buy
Social Embeddedness of Industrial Ecology
55.40 € -4 %
Pre-order
Bachelor's Dream
8.97 € -15 %
Buy
Eagle Visions
8.97 € -7 %
Buy
Multiplicity in Unity
157.34 €
Buy
Vier Stern Stunden
15.94 € -9 %
Buy
Introduction to Statistics and Research Methods: Pearson New International Edition
104.45 €
Buy
VISIONS LEVEL C-CHICAGO CLASSSET
3077.58 €
Buy
Extracted
9.78 € -6 %
Buy
CABALLEROS DE CONQUISTA Y MUJERES DE AR
25.52 € -2 %
Buy
Great Antonio
10.39 € -26 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Algebraic Methodology and Software Technology

Book details
Synopsis
Trending among others

You get 249 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

102.73 €

Full title: Algebraic Methodology and Software Technology
Subtitle: 5th International Conference, AMAST '96, Munich, Germany, July 1996, Proceedings
Author: Maurice Nivat, Martin Wirsing
Language: English
Binding: Paperback
Number of pages: 647
EAN: 9783540614630
ISBN: 354061463X
ID: 05274595
Publisher: Springer, Berlin
Weight: 850 g
Dimensions: 234 × 156 × 33 mm
Published: 1996