Проверка на състоянието на поръчката
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€

Scalable Techniques for Formal Verification

Език Английски езикАнглийски език
Книга С меки корици
Книга Scalable Techniques for Formal Verification SANDIP RAY
Код Либристо: 09062296
Издателство Springer-Verlag New York Inc., октомври 2014
This book presents the latest approaches to formal verification techniques to seamlessly integrate d... Цялото описание
? points 275 b
113.69 €
222.36  лв
Външен склад Изпращаме след 10-18 дни

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

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

Pád modrého ptáka Petr Štěpánek / Книга С меки корици
common.buy 7.54 € 14.74 лв
The Villainess is a Marionette 03 hanirim / Книга С меки корици
common.buy 15.29 € 29.90 лв
Eislotus. Wasser findet seinen Weg Liza Grimm / Книга С меки корици
common.buy 17.30 € 33.84 лв
Top
Láska, svoboda, samota Osho / Книга С меки корици
common.buy 15.44 € 30.20 лв
30 días con Don Bosco Borelli / Книга С меки корици
common.buy 11.20 € 21.91 лв
Les Martionautes Marie-France Esperce / Книга С меки корици
common.buy 22.57 € 44.14 лв
ARINAGO DUK HAIZEA ABSALON/JUARISTI JUARISTI / Книга Книга
common.buy 19.00 € 37.17 лв
EASY CONCERT PIECES BAND 1 GUITARE +CD PETER ANSORGE_MARTIN Книга binding.
common.buy 36.83 € 72.03 лв
Déluge Stephen Baxter / Книга С меки корици
common.buy 33.52 € 65.56 лв
Nosferatu Philippe Druillet / Книга Книга
common.buy 28.25 € 55.25 лв
Cabin Porn Za dveřmi Klein Zach / Книга С твърди корици
common.buy 23.96 € 46.87 лв
Sternenschweif (Folge 8) - Die Macht des Einhorns (Audio-CD). Folge.8, 1 Audio-CD Linda Chapman / Аудио Аудио компактдиск
common.buy 10.43 € 20.40 лв
amerikanische Besetzung Deutschlands Klaus-Dietmar Henke / Книга С твърди корици
common.buy 62.76 € 122.75 лв
Instabilitat in Natur und Wissenschaft Jan Cornelius Schmidt / Книга С твърди корици
common.buy 239.89 € 469.19 лв
Münchener Handbuch des Gesellschaftsrechts. Gesamtwerk in 7 Bänden / Книга С твърди корици
common.buy 463.21 € 905.95 лв
Bewegter Koerper - Mechanischer Apparat Christiane Kuhlmann / Книга С меки корици
common.buy 98.61 € 192.86 лв

This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

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

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

Пълно заглавие Scalable Techniques for Formal Verification
Автор SANDIP RAY
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 243
Баркод 9781489984449
ISBN 9781489984449
Код Либристо 09062296
Издателство Springer-Verlag New York Inc.
Тегло 403
Размери 155 x 235 x 15

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Set Theory for Computing Domenico Cantone / Книга С меки корици
common.buy 162.51 € 317.84 лв
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Книга С меки корици
common.buy 108.42 € 212.06 лв
Ultraviolet Germicidal Irradiation Handbook Kowalski / Книга С меки корици
common.buy 324.71 € 635.08 лв
Embodied Social Cognition Jessica Lindblom / Книга С твърди корици
common.buy 108.42 € 212.06 лв
Key Aspects of German Business Law Michael Wendler / Книга С твърди корици
common.buy 193.97 € 379.37 лв
100 Multiplication Worksheets with 5-Digit Multiplicands, 4-Digit Multipliers: Math Practice Workbook Kapoo Stem / Книга С меки корици
common.buy 14.82 € 28.99 лв
Book of the Horse Angus Hyland / Книга С меки корици
common.buy 15.60 € 30.50 лв
Say Goodnight Helen Oxenbury / Книга Дипляна
common.buy 9.29 € 18.18 лв
Изгодно
Laravel Basics: Creating Web Apps. It's Simple. Gregory Blake / Книга С меки корици
common.buy 5.21 € 10.19 лв
Glad To Be Dan: Discover how mindfulness helps Dan to be happy every day Jo Howarth / Книга С меки корици
common.buy 10.89 € 21.31 лв
Why does my Daddy Drink Pamela J Tomlinson / Книга С меки корици
common.buy 18.13 € 35.45 лв
The Mystery of Edwin Drood DICKENS / Книга С меки корици
common.buy 12.03 € 23.53 лв
Essays. Collected and Arranged by Sir George Young Winthrop Mackworth Praed / Книга С меки корици
common.buy 23.09 € 45.15 лв
Hands to Spell-Read-Write: Princesses Spelling Workbook Angela M Foster / Книга С меки корици
common.buy 19.21 € 37.57 лв
The Case of Seduction: Being, an Account of the Late Proceedings at Paris, as Well Ecclesiastical as Civil, Against the Reverend Abb E, Claud Rogers / Книга С меки корици
common.buy 15.60 € 30.50 лв
Marked Heart: A Marked Heart Novel M Sembera / Книга С меки корици
common.buy 12.13 € 23.73 лв
Force Like No Other 1 Colin Breen / Книга С меки корици
common.buy 15.44 € 30.20 лв
Dinner Time / Книга С твърди корици
common.buy 44.89 € 87.79 лв
Hand Book to Veterinary Homoeopathy John Rush / Книга С меки корици
common.buy 5.99 € 11.71 лв
Roscoe and Charlie: Travel to Cloudcroft Auntie Nann / Книга С меки корици
common.buy 10.33 € 20.20 лв
The Adventures Of Big-Foot Wallace: The Texas Ranger And Hunter (1871) John Crittenden Duval / Книга С меки корици
common.buy 31.56 € 61.72 лв
Small and Tiny House Plans Design Book: Small home plans + granny flat plans in Metric and Feet and Inches House Plans / Книга С меки корици
common.buy 19.26 € 37.68 лв
Top
Cambridge Primary Mathematics Learner's Book 2 with Digital Access (1 Year) Cherri Moseley / Книга С меки корици
common.buy 28.66 € 56.06 лв
Journey to and Beyond the Blackboard Kim Johnson / Книга С меки корици
common.buy 17.56 € 34.34 лв

Вход

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

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

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

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

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