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ł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Algebraic Methodology and Software Technology

Język AngielskiAngielski
Książka Miękka
Książka Algebraic Methodology and Software Technology Maurice Nivat
Kod Libristo: 05274595
Wydawnictwo Springer, Berlin, listopad 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Cały opis
? points 304 b
518.74 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ć

Rauch, 2 DVDs Iwan S. Turgenjew / DVD
common.buy 73.95 zł
Social Embeddedness of Industrial Ecology / Miękka
common.buy 219.48 zł
Bachelor's Dream Duchess / Miękka
common.buy 96.30 zł
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Książka
common.buy 13 180.99 zł
Multiplicity in Unity Carlos M. Herrera / Twarda
common.buy 703.15 zł
Rebecca`s Reward Lauraine Snelling / Miękka
common.buy 69.54 zł
Women, Body, Illness Pamela Moss / Twarda
common.buy 796.25 zł
Reform Medicaid First Thomas W. Grannemann / Miękka
common.buy 56.01 zł
Computational Mechanics 95, 4 S.N. Atluri / Miękka
common.buy 441.67 zł

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.

Informacje o książce

Pełna nazwa Algebraic Methodology and Software Technology
Autor Maurice Nivat, Martin Wirsing
Język Angielski
Oprawa Książka - Miękka
Data wydania 1996
Liczba stron 647
EAN 9783540614630
ISBN 354061463X
Kod Libristo 05274595
Wydawnictwo Springer, Berlin
Waga 850
Wymiary 156 x 234 x 33

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
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