[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Theoretical Aspects of Computer Software

Език Английски езикАнглийски език
Книга С меки корици
Книга Theoretical Aspects of Computer Software Martin Abadi
Код Либристо: 05274737
Издателство Springer, Berlin, ноември 1996
This book constitutes the refereed proceedings of the Third International Symposium on Theoretical A... Цялото описание
? points 324 b
252.78 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

30 дни за връщане на стоката

Може би ще Ви заинтересува

Companion to Luis Bunuel Gwynne Edwards / С меки корици
common.buy 75.75 лв
Spinning Coverage Nicole Hein / С меки корици
common.buy 154.02 лв
Detektiv Nobody's Erlebnisse und Reiseabenteuer Robert Kraft / С меки корици
common.buy 111.96 лв
Limits to Culture Malcolm Miles / С твърди корици
common.buy 214.14 лв
Nutzen der Digitalen Fabrik Volker Weiner / С меки корици
common.buy 388.15 лв
Memoires d'un artiste Charles Gounod / С твърди корици
common.buy 87.85 лв
Die Wunschinsel, 1 Audio-CD Arnd Stein / Аудио компактдиск
common.buy 40.14 лв
Economic Effects of Public Investment Hirotada Kohno / С твърди корици
common.buy 226.55 лв
Die Grafiken und Aufgaben des Buches Mathematik (DVD), 1 DVD-ROM Tilo Arens / Digital DVD
common.buy 24.00 лв
Twice Used Songs Terry Giles / С меки корици
common.buy 51.03 лв
Indian mulberry (Morinda citrifolia, Rubiaceae) Anitha Thiyagarajan / С меки корици
common.buy 156.85 лв
Die große Sternenschweif Hörbox Folgen 7-9 (3 Audio CDs). Folge.7-9, 3 Audio-CD Linda Chapman / Аудио компактдиск
common.buy 27.53 лв
Athenian Society Jennifer Gibbon / С меки корици
common.buy 71.51 лв
Algebraic Methodology and Software Technology V. S. Alagar / С меки корици
common.buy 252.78 лв

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.

Информация за книгата

Пълно заглавие Theoretical Aspects of Computer Software
Автор Martin Abadi, Takayasu Ito
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1997
Брой страници 648
Баркод 9783540633884
ISBN 354063388X
Код Либристо 05274737
Издателство Springer, Berlin
Тегло 980
Размери 156 x 234 x 33

Категории

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo