Kniha Algebraic Methodology and Software Technology V. S. Alagar

Algebraic Methodology and Software Technology

4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
2 286
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1995
Stránek
597
EAN
9783540600435
ISBN
3540600434
Enbook ID
05274474
Vydavatel
Hmotnost
816
Rozměry
156 x 234 x 31

Kompletní popis

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.

Mohlo by vás zajímat

516
18 009
1 717

Spring Snowman

Amanda Zimmerman
185

Rethinking Racial Capitalism

Gargi Bhattacharyya
1 270

The Troubleshooter

Austin S. Camacho
331

Beowulf

Meghan Purvis
348

Lady Chatterley's Lover

David Herbert Lawrence
290

Destined to the Alpha

Olivia T. Turner
230

Egyptian Legends For Kids

History Brought Alive
526
1 977
1 565
1 242

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