Kniha Algebraic Methodology and Software Technology Maurice Nivat

Algebraic Methodology and Software Technology

5th International Conference, AMAST '96, Munich, Germany, July 1996, Proceedings

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
100.00
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1996
Stránok
647
EAN
9783540614630
ISBN
354061463X
Enbook ID
05274595
Vydavateľ
Hmotnosť
850
Rozmery
156 x 234 x 33

Kompletný popis

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.

Mohlo by vás zaujímať

127.12
100.00

The Cavalier

George Washington Cable
7.46

Cruel Crown

Victoria Aveyard
7.65
33.59

Most Way Home

Kevin Young
13.55

Great Antonio

Elise Gravel
10.11
16.50

Eagle Visions

Cindi Clarke Summerlin
8.73
19.64

Extracted

Clover Autrey
9.52
71.22

Energy for Propulsion

Akshai K. Runchal
107.57
23.37
16.20

Isotopes in the Water Cycle

Pradeep K. Aggarwal
106.19
2 995.76

After the Ice

Steven Mithen
17.28

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

6.97

CIA

Tim Weiner
15.81
10.20

Nevera

Juliet Rosenfeld
15.30
15.61
6.18

Pringel und Finn

Wreaders Verlag
14.92

Wahrungskrieg IV

Song Hongbing
25.73
13.84
23.27
69.35

Vier Stern Stunden

Daniel Glattauer
13.15

Koerper trifft Seele

Viktoria Georgi
12.76