Książka 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

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
423.49
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1995
strony
597
EAN
9783540600435
ISBN
3540600434
Enbook ID
05274474
Waga
816
Wymiary
156 x 234 x 31

Pełny opis

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.

Możesz być zainteresowany

95.01
3 294.55
316.59

Spring Snowman

Amanda Zimmerman
34.46

Rethinking Racial Capitalism

Gargi Bhattacharyya
222.45

The Troubleshooter

Austin S. Camacho
61.72

Beowulf

Meghan Purvis
64.05
1 002.96

Lady Chatterley's Lover

David Herbert Lawrence
53.73

Destined to the Alpha

Olivia T. Turner
42.44

Egyptian Legends For Kids

History Brought Alive
98.22
346.29
40.59
287.39
217.49

Klienci, którzy kupili tę książkę, kupili również