Code: 05274474

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer, Berlin
SKU: 05274474
Price: 102.59 EUR
Availability: InStock
Author: V. S. Alagar
ISBN: 9783540600435

by V. S. Alagar, Maurice Nivat

Language: English
Binding: Paperback
Number of pages: 597
Publisher: Springer, Berlin, 1995
More about this

102.59 €

RRP: 111.18 €

You save 8.59 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Tatra kolem světa
9.46 € -8 %
Buy
Spectrum Machine Language for the Absolute Beginner
15.71 € -7 %
Buy
Carl Bellingrodt, das fotografische Werk, Band 7
49.98 € -17 %
Buy
First Questions and Answers: Where Does Poo Go?
12.89 € -10 %
Buy
Optimalizácia dane, bez chýb, pokút a penále
7.35 € -32 %
Buy
Rocket Design and Construction Fundamentals
36.98 € -7 %
Buy
Kierkegaard: Fear and Trembling
88.28 €
Buy
Coach
21.05 € -2 %
Buy
Indian mulberry (Morinda citrifolia, Rubiaceae)
42.62 € -14 %
Buy
Call of the night - Tome 5
10.47 €
Buy
Detektiv Nobody's Erlebnisse und Reiseabenteuer
22.26 € -11 %
Buy
Человечество в новой реальности: глобальные биотехнологические вызовы
34.66 € -11 %
Buy
Introduction to Stability Theory
9.26 € -24 %
Buy
Die Frau in der Karikatur
30.63 € -9 %
Buy
Kundennutzen: die Anwendung im Verkaufsgesprach
35.77 € -6 %
Buy
Die Grafiken und Aufgaben des Buches Mathematik (DVD), 1 DVD-ROM
11.48 €
Buy
J. S. Bach Para O Trompete: 10 Pe
8.96 € -6 %
Buy
Beowulf
14.81 € -1 %
Buy
Destined to the Alpha
9.77 € -6 %
Buy
Spinning Coverage
42.62 € -14 %
Buy
America's First Women Philosophers
55.42 €
Buy
The Troubleshooter
14 € -25 %
Buy
Contemporary Yoga and Sacred Texts
199.04 €
Buy
Egyptian Legends For Kids
22.26 € -25 %
Buy
Ubiquitous Computing and Ambient Intelligence: Context-Awareness and Context-Driven Interaction
51.49 € -7 %
Buy
Old Toffer's Book of Consequential Dogs
9.67 € -25 %
Buy
Die große Sternenschweif Hörbox Folgen 7-9 (3 Audio CDs). Folge.7-9, 3 Audio-CD
14.20 € -17 %
Buy
Memory, Aging and the Brain
76.69 €
Buy
Eloges Et Discours, La Triomphante Reception Du Roy En Paris Apres La Reduction de la Rochelle
19.24 € -2 %
Buy
End of Reciprocity
66.41 €
Buy
Mit Macht verbunden
52.40 € -11 %
Buy
Spring Snowman
7.85 € -24 %
Buy
Alexander von Humboldt und das Judentum
34.76 € -3 %
Buy
Nutzen der Digitalen Fabrik
131.11 € -12 %
Buy
The Androids Are Coming: Philip K. Dick, Isaac Asimov, Alfred Bester, and More
14.81 € -2 %
Buy
Rethinking Racial Capitalism
56.73 €
Buy
Bugün Hayattayiz Ya
14.10 € -4 %
Buy
Legislative Manual of the State of Ohio
21.86 € -2 %
Buy
Marion's Faith.
16.12 € -14 %
Buy
Fisilti Korusu
15.11 € -4 %
Buy
Little Book of Bereavement for Schools
18.03 € -9 %
Buy
A Digest of the Law of Evidence on the Trial of Actions at Nisi Prius.
37.18 € -1 %
Buy
Stress: The Modern Woman's Guide To A Stress Free Lifestyle
13.09 € -7 %
Buy
Image Processing
764.53 €
Buy
Cammell Laird Vol II
13.90 € -24 %
Pre-order
Design through Digital Interaction
38.29 € -10 %
Buy
Theoretical Aspects of Computer Software
102.59 € -7 %
Buy
Life of Petrarch. Collected from Memoires Pour La Vie de Petrarch, in Two Volumes. ... Volume 2 of 2
29.12 € -1 %
Buy
Remarques et animadversions sur l'approbation des lois et coustumier de Normandie usitees es jurisdictions de Guerneze, et particulierement en la Cour
36.27 € -2 %
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 volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logic programming and databases.

Book details

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

102.59 €

Full title: Algebraic Methodology and Software Technology
Subtitle: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings
Author: V. S. Alagar, Maurice Nivat
Language: English
Binding: Paperback
Number of pages: 597
EAN: 9783540600435
ISBN: 3540600434
ID: 05274474
Publisher: Springer, Berlin
Weight: 816 g
Dimensions: 234 × 156 × 31 mm
Published: 1995