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ć

Theoretical Aspects of Computer Software

Język AngielskiAngielski
Książka Miękka
Książka Theoretical Aspects of Computer Software Naoki Kobayashi
Kod Libristo: 01563864
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2001
This book constitutes the refereed proceedings of the Fourth International Symposium on Theoretical... Cały opis
? points 154 b
262.97 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ć

I'm Not a Succubus! Vol. 3 / Miękka
common.buy 50.00 zł
Three Most Wanted Corinna Turner / Miękka
common.buy 75.46 zł
Theory of Thermodynamics J. R. Waldram / Miękka
common.buy 305.37 zł
Zapowiedź Nowość
Une résistance juive d'hier à aujourd'hui Eoche-Duval / Miękka
common.buy 133.19 zł
Zapowiedź Nowość
TRACES, NO45/2023-2. 'L'ORIGINE DES INEGALITES' : RESURGENCES ET REAPPROPRIATIONS D'UN GRAND RECIT HADAD Miękka
common.buy 87.98 zł
Unterstutzende Verfahren zur Behandlung von sekundaren Lymphoedemen mithilfe der manuellen Lymphdrainage nach Brustkrebsoperationen Anonym / Miękka
common.buy 188.71 zł
Journey Through Arabia Petr?a, to Mount Sinai, and the excavated city of Petra, the Edom of the Prophecies Leon De Laborde / Miękka
common.buy 135.39 zł

This book constitutes the refereed proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software, TACS 2001, held in Sendai, Japan, in October 2001. The book presents 21 selected and revised full papers. Also included are six invited papers plus one open lecture by internationally leading scientists. Among the topics addressed are automata theory, concurrency, control-flow analysis, lambda calculi, model checking and program logic.

Informacje o książce

Pełna nazwa Theoretical Aspects of Computer Software
Autor Naoki Kobayashi, Benjamin C. Pierce
Język Angielski
Oprawa Książka - Miękka
Data wydania 2001
Liczba stron 565
EAN 9783540427360
ISBN 3540427368
Kod Libristo 01563864
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1780
Wymiary 155 x 233 x 32

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
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) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Technologia informacyjna (IT) – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Aplikacje biznesowe
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