phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 11.02 zł
phone Kontakt phoneJak kupować

Algebraic Methodology and Software Technology

Język AngielskiAngielski
Książka Miękka
Książka Algebraic Methodology and Software Technology V. S. Alagar
Kod Libristo: 05274474
Wydawnictwo Springer, Berlin, listopad 1994
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology... Cały opis
? points 304 b
517.33 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

12 years a slave, 1 DVD Steve McQueen / DVD
common.buy 46.67 zł
Detektiv Nobody's Erlebnisse und Reiseabenteuer Robert Kraft / Miękka
common.buy 229.07 zł
Spinning Coverage Nicole Hein / Miękka
common.buy 315.23 zł
Nutzen der Digitalen Fabrik Volker Weiner / Miękka
common.buy 794.38 zł
Memoires d'un artiste Charles Gounod / Twarda
common.buy 179.90 zł
Die Grafiken und Aufgaben des Buches Mathematik (DVD), 1 DVD-ROM Tilo Arens / Digital DVD
common.buy 51.56 zł
Theoretical Aspects of Computer Software Martin Abadi / Miękka
common.buy 517.33 zł
Indian mulberry (Morinda citrifolia, Rubiaceae) Anitha Thiyagarajan / Miękka
common.buy 321.03 zł
Die große Sternenschweif Hörbox Folgen 7-9 (3 Audio CDs). Folge.7-9, 3 Audio-CD Linda Chapman / CD Audio
common.buy 53.16 zł
Design through Digital Interaction Chengzhi Peng / Twarda
common.buy 164.91 zł

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.

Informacje o książce

Pełna nazwa Algebraic Methodology and Software Technology
Autor V. S. Alagar, Maurice Nivat
Język Angielski
Oprawa Książka - Miękka
Data wydania 1995
Liczba stron 597
EAN 9783540600435
ISBN 3540600434
Kod Libristo 05274474
Wydawnictwo Springer, Berlin
Waga 816
Wymiary 156 x 234 x 31

Kategoria

Matematyka i nauki ścisłe > Matematyka > Matematyka stosowana
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo