Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Verification: Theory and Practice

Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification: Theory and Practice Nachum Dershowitz
Код Либристо: 01559051
Издателство Springer, Berlin, ноември 2003
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birt... Цялото описание
? points 263 b
108.29 €
211.80  лв
Външен склад Изпращаме след 5-8 дни

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

Клиентите са закупили също

Zauberwelten, 1 DVD Ehrlich Brothers / Видео DVD
common.buy 15.06 € 29.45 лв
Les industries métallurgique T3 REDON / Книга С меки корици
common.buy 38.33 € 74.97 лв
Oeuvres de Froissart: Table Analytique Des Noms Historiques... Jean Froissart / Книга С меки корици
common.buy 31.52 € 61.64 лв
100 CONTEMPORARY WOOD BUILDINGS JODIDIO / Книга С твърди корици
common.buy 71.04 € 138.94 лв
EVALUACIóN PSICOLóGICA (CAPíTULO 10) FERNáNDEZ-BALLESTEROS / Книга Книга
common.buy 7.48 € 14.62 лв
Säggs'sch - Fast vergessen Gunter Böhnke / Книга С твърди корици
common.buy 7.06 € 13.81 лв
LA PELUSA DE DEBAJO DE MI CAMA Hernández / Книга Книга
common.buy 18.98 € 37.12 лв
Platons Totenbuch Holger Kalweit / Книга С меки корици
common.buy 24.14 € 47.21 лв
Kleuren is leuk - Kerstmis - Volume 1: Het is tijd om Kerstmis te vieren! Sonia Vrambout / Книга С меки корици
common.buy 7.63 € 14.92 лв
Reconectar con el Alma Dra Gabriella Kortsch / Книга С меки корици
common.buy 13.87 € 27.13 лв
Bar de La Mer Jacques Almira / Книга С меки корици
common.buy 12.02 € 23.50 лв
Oeuvres Posthumes de Auguste Barbier, Nouvelles Etudes Litteraires Et Artistiques Auguste Barbier / Книга С меки корици
common.buy 25.12 € 49.13 лв
Klinisch-therapeutische Soziale Arbeit Ute-Antonia Lammel / Книга С меки корици
common.buy 21.10 € 41.26 лв
Das Recht des Bürgers auf behördliche Auskunft. Kai Krieger / Книга С меки корици
common.buy 69.44 € 135.81 лв
Supply Chain Spuren im Schnee Thomas Ziegler / Книга С меки корици
common.buy 62.89 € 123.00 лв
Foerderung des geometrischen Denk- und Vorstellungsvermoegens Benjamin Gill / Книга С меки корици
common.buy 54.63 € 106.85 лв
Kulturpolitik und Theater Philipp Ther / Книга С меки корици
common.buy 61.08 € 119.46 лв

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor.The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Verification: Theory and Practice
Автор Nachum Dershowitz
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2004
Брой страници 788
Баркод 9783540210023
ISBN 3540210024
Код Либристо 01559051
Издателство Springer, Berlin
Тегло 988
Размери 156 x 234 x 40

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

VLSI-SoC: From Systems to Silicon Ricardo Reis / Книга С твърди корици
common.buy 119.33 € 233.39 лв
Witches Be Crazy: Witch Wicca Spell Paper Bright Halloween 200 Pages Gg Stoutsong / Книга С меки корици
common.buy 9.38 € 18.36 лв
Knowing the Ways of God John C Fenn / Книга С меки корици
common.buy 12.12 € 23.70 лв
WISHYPOOFS & HICCUPS Marion Lindsay / Книга С меки корици
common.buy 6.24 € 12.20 лв
A DEFENCE OF THE EXPOSITION OF THE DOCTR WILLIAM WAKE / Книга С твърди корици
common.buy 32.50 € 63.56 лв
GECCO 14 Genetic and Evolutionery Computation Conference Vol 2 Gecco 14 Conference Committee / Книга С меки корици
common.buy 198.17 € 387.58 лв
Dad Is the Best! Joshua D Hunt / Книга С меки корици
common.buy 35.13 € 68.71 лв
Southern Storm Zondervan / Книга С меки корици
common.buy 9.69 € 18.96 лв
Code of Honor Harold Coyle / Книга С меки корици
common.buy 20.27 € 39.65 лв
Mongrel Hoyt Silva / Книга С меки корици
common.buy 10.16 € 19.87 лв
Diary Of The Times Of Charles The Second By The Honorable Henry Sidney V2 (1843) Henry Sidney / Книга С меки корици
common.buy 34.36 € 67.19 лв
Selling Solar Damian Miller / Книга С твърди корици
common.buy 277.31 € 542.37 лв
Backroads and Byways of Indian Country Teresa Bitler / Книга С меки корици
common.buy 28.27 € 55.29 лв
Theater of the Mind Neil Verma / Книга С твърди корици
common.buy 145.85 € 285.26 лв
Deciphering Data Architectures James Serra / Книга С меки корици
common.buy 59.74 € 116.84 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?