Проверка на състоянието на поръчката
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, Model Checking, and Abstract Interpretation

14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification, Model Checking, and Abstract Interpretation Roberto Giacobazzi
Код Либристо: 01662910
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, януари 2013
This book constitutes the refereed proceedings of the 14th International Conference on Verification,... Цялото описание
? points 132 b
54.35 €
106.30  лв
Външен склад Изпращаме след 5-8 дни

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

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

Schmerz N. Birbaumer / Книга С меки корици
common.buy 55.85 € 109.23 лв
Droit Des Femmes Et Le Mariage, Etudes Critiques de Legislation Comparee BRIDEL-L / Книга С меки корици
common.buy 19.32 € 37.78 лв
Straßenverkehrsordnung (StVO) / Книга С меки корици
common.buy 19.16 € 37.48 лв
Morgavsa a Morgana Tajemství bájné Chlupambry Petr Kopl / Книга С твърди корици
common.buy 11.98 € 23.43 лв
Praha Thomas Käfer / Книга С меки корици
common.buy 21.80 € 42.63 лв
Faustine Ida von Hahn-Hahn / Книга С меки корици
common.buy 14.26 € 27.88 лв
Foto-Grafie. Fotografische Narrativität im Werk von Ida Fink Agnieszka Rz dca / Книга С меки корици
common.buy 35.49 € 69.41 лв
Ostseeküste Mecklenburg-Vorpommern und Rügen Heidrun Hoffmann / Книга С меки корици
common.buy 16.53 € 32.33 лв
SONATE PIANO PIANO ROBERT MOEVS Книга binding.
common.buy 36.27 € 70.93 лв
Une Vie pour une Autre Levet / Книга С меки корици
common.buy 23.81 € 46.58 лв
Nur ein Geiger Hans Christian Andersen / Книга С меки корици
common.buy 22.73 € 44.45 лв
Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann / Книга С меки корици
common.buy 64.63 € 126.41 лв
Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber / Книга С меки корици
common.buy 31.15 € 60.93 лв
Traite de Morale, Reimprime d'Apres l'Edition de 1707 Malebranche-N / Книга С меки корици
common.buy 25.16 € 49.20 лв
Dramaturgie in der Ausstellung Sibylle Lichtensteiger / Книга С меки корици
common.buy 22.32 € 43.65 лв
Entwicklung und Implementierung eines drahtlosen Sensor-Aktor-Netzwerks fur ein Parkleitsystem Tom Filbrandt / Книга С меки корици
common.buy 26.50 € 51.83 лв
Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold / Книга С меки корици
common.buy 13.33 € 26.06 лв
Metodologia de previsao do potencial eolico de curto prazo Ferreira Adir a B / Книга С меки корици
common.buy 51.77 € 101.25 лв
Gabler Lexikon Personal Ulrich Büdenbender / Книга С меки корици
common.buy 54.76 € 107.11 лв
System der Politik Harald Bluhm / Книга С меки корици
common.buy 44.84 € 87.70 лв
Zum Bildungsbedarf für Datensicherheit Frank Spieß / Книга С меки корици
common.buy 72.43 € 141.67 лв
Doru Lineare, Un Insecto de Importancia Agronomica En Cultivo de Maiz Gladys Mabel Romero Sueldo / Книга С меки корици
common.buy 36.89 € 72.14 лв
Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard / Книга С меки корици
common.buy 55.85 € 109.23 лв

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. §The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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

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

Пълно заглавие Verification, Model Checking, and Abstract Interpretation
Автор Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2013
Брой страници 556
Баркод 9783642358722
ISBN 3642358721
Код Либристо 01662910
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 860
Размери 155 x 235 x 31

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications César San Martin / Книга С меки корици
common.buy 58.53 € 114.48 лв
Non-equilibrium Thermodynamics of Superfluid Helium and Quantum Turbulence Maria Stella Mongiovì / Книга С твърди корици
common.buy 90.31 € 176.63 лв
Albert and the Pond Ian Brown / Книга С меки корици
common.buy 9.30 € 18.18 лв
Top
The Mind's Eye Peter Jackson-Main / Книга С меки корици
common.buy 38.95 € 76.18 лв
Dictionary of Scholastic Philosophy Bernard Wuellner / Книга С меки корици
common.buy 20.04 € 39.20 лв
Krampus Tales: A Killer Anthology Sinead McCabe / Книга С меки корици
common.buy 13.07 € 25.56 лв
Quotable Kid Book: A Parent's Keepsake of Unforgettable Quotes Rlt Print / Книга С меки корици
common.buy 7.59 € 14.84 лв
Return to Limerick W. L. Wright / Книга С меки корици
common.buy 13.84 € 27.07 лв
The House of a Thousand Candles Meredith Nicholson / Книга С меки корици
common.buy 14.05 € 27.48 лв
Legend of the Lost William Wayne Dicksion / Книга С меки корици
common.buy 12.19 € 23.84 лв
Ripley's Canyon Richard Brauer / Книга С меки корици
common.buy 16.53 € 32.33 лв
Leave It to Me... My Life in Music Donn Trenner / Книга С меки корици
common.buy 26.91 € 52.64 лв
Developments in Healthcare Information Systems and Technologies Joseph Tan / Книга С твърди корици
common.buy 270.32 € 528.70 лв
I Already Am Vincent Tozzi / Книга С меки корици
common.buy 12.81 € 25.05 лв
Analects of Confucius Arthur Waley / Книга С твърди корици
common.buy 126.84 € 248.08 лв
Top
Beyond Horse Massage Jim Masterson / Книга С твърди корици
common.buy 31.41 € 61.43 лв
Dying for the Dark Peter Lancett / Книга С меки корици
common.buy 7.07 € 13.83 лв

Вход

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

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

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

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

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