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
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
2 286
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1996
Stránek
647
EAN
9783540614630
ISBN
354061463X
Enbook ID
05274595
Vydavatel
Hmotnost
850
Rozměry
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 zajímat

2 901
2 286

The Cavalier

George Washington Cable
180

Cruel Crown

Victoria Aveyard
173

Most Way Home

Kevin Young
327

Great Antonio

Elise Gravel
244

Eagle Visions

Cindi Clarke Summerlin
211
475

Extracted

Clover Autrey
230
1 599

Energy for Propulsion

Akshai K. Runchal
2 457
566
371

Isotopes in the Water Cycle

Pradeep K. Aggarwal
2 567

After the Ice

Steven Mithen
369

Zákaznicí kteří koupili tuto knihu koupili také

168

CIA

Tim Weiner
359
231

Nevera

Juliet Rosenfeld
396
149

Pringel und Finn

Wreaders Verlag
340

Wahrungskrieg IV

Song Hongbing
623
335
1 676

Vier Stern Stunden

Daniel Glattauer
300

Koerper trifft Seele

Viktoria Georgi
291