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ć

Theoretical Aspects of Computer Software

Język AngielskiAngielski
Książka Miękka
Książka Theoretical Aspects of Computer Software Martin Abadi
Kod Libristo: 05274737
Wydawnictwo Springer, Berlin, listopad 1996
This book constitutes the refereed proceedings of the Third International Symposium on Theoretical A... 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ć

Companion to Luis Bunuel Gwynne Edwards / Miękka
common.buy 155.01 zł
Limits to Culture Malcolm Miles / Twarda
common.buy 438.27 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ł
Economic Effects of Public Investment Hirotada Kohno / Twarda
common.buy 463.65 zł
Die Wunschinsel, 1 Audio-CD Arnd Stein / CD Audio
common.buy 78.15 zł
Twice Used Songs Terry Giles / Miękka
common.buy 98.94 zł
Die Grafiken und Aufgaben des Buches Mathematik (DVD), 1 DVD-ROM Tilo Arens / Digital DVD
common.buy 51.56 zł
Athenian Society Jennifer Gibbon / Miękka
common.buy 146.32 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ł
Algebraic Methodology and Software Technology V. S. Alagar / Miękka
common.buy 517.33 zł

This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc.

Informacje o książce

Pełna nazwa Theoretical Aspects of Computer Software
Autor Martin Abadi, Takayasu Ito
Język Angielski
Oprawa Książka - Miękka
Data wydania 1997
Liczba stron 648
EAN 9783540633884
ISBN 354063388X
Kod Libristo 05274737
Wydawnictwo Springer, Berlin
Waga 980
Wymiary 156 x 234 x 33

Kategoria

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) > 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