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

Symbolic Model Checking

Език Английски езикАнглийски език
Книга С твърди корици
Книга Symbolic Model Checking Kenneth L. McMillan
Код Либристо: 42163944
Издателство Kluwer Academic Publishers, юли 1993
Formal verification means having a mathematical model of a system, a language for specifying desired... Цялото описание
? points 249 b
102.92 €
201.29  лв
Външен склад Изпращаме след 10-18 дни

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

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

Sputnik Christian Berkel / Аудио Аудио компактдиск
common.buy 25.05 € 49.00 лв
Schau genau, per St Игра/играчка Игра
common.buy 19.99 € 39.10 лв
Das Fachbuch zum Taschenrechner Rebell SC2060S / Книга С меки корици
common.buy 14.31 € 27.98 лв
Necromáquina ROSSANA REGUILLO / Книга С меки корици
common.buy 25.78 € 50.42 лв
Cycle de l'Atlantide, tome 1 Ariel Riseln / Книга С меки корици
common.buy 20.82 € 40.71 лв
Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce / Книга С меки корици
common.buy 33.58 € 65.67 лв
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Книга С меки корици
common.buy 31.00 € 60.62 лв
Vous et votre voiture / Книга С меки корици
common.buy 40.61 € 79.42 лв
Polacy w służbie Moskali Chwalba Andrzej / Книга С меки корици
common.buy 33.22 € 64.97 лв
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Книга С меки корици
common.buy 38.23 € 74.77 лв
Malbuch für Geist & Seele Dana Zimmermann / Книга С меки корици
common.buy 9.76 € 19.09 лв
Introdução à Química dos Alimentos Paulo Figueiredo / Книга С меки корици
common.buy 39.57 € 77.40 лв
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Книга С меки корици
common.buy 16.06 € 31.42 лв
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Книга С меки корици
common.buy 54.30 € 106.20 лв
Jenny Fanny Lewald / Книга С меки корици
common.buy 17.10 € 33.44 лв
Yoga-Anatomie 3D Ray Long / Книга С меки корици
common.buy 22.42 € 43.85 лв
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Книга С твърди корици
common.buy 60.50 € 118.32 лв

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. Whe

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

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

Пълно заглавие Symbolic Model Checking
Автор Kenneth L. McMillan
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 1993
Брой страници 194
Баркод 9780792393801
ISBN 0792393805
Код Либристо 42163944
Издателство Kluwer Academic Publishers
Тегло 426
Размери 179 x 229 x 18

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Computing & Information Technology > Computer science
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Book of Bees Piotr Socha / Книга С твърди корици
common.buy 22.63 € 44.25 лв
Complete Account Of The Settlement At Port Jackson Watkin Tench / Книга С меки корици
common.buy 20.15 € 39.40 лв
South Asian Politics and Religion Donald Eugene Smith / Книга С твърди корици
common.buy 225.32 € 440.69 лв
Clip Studio Paint by Example Ludovico Serra / Книга С меки корици
common.buy 60.91 € 119.13 лв
Encyclopaedia of World Bridges David McFetrich / Книга С твърди корици
common.buy 39.31 € 76.89 лв
Great American Decades Puzzle Book 2000s / Книга С меки корици
common.buy 8.78 € 17.17 лв
Подготвяме
MBS Crown / Книга С меки корици
common.buy 14.67 € 28.69 лв
Heart of Valor: Gay Romance Dj Monroe / Книга С меки корици
common.buy 9.40 € 18.38 лв
Prima Facie Gunnar Farinha / Книга С меки корици
common.buy 10.33 € 20.20 лв
Place of the Beautiful in the City Plan John Nolen / Книга С твърди корици
common.buy 26.86 € 52.54 лв
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-книга Adobe ePub DRM
common.buy 111.24 € 217.56 лв
Atomic Properties in Hot Plasmas Jacques Bauche / Книга С твърди корици
common.buy 108.45 € 212.10 лв
History of Australian Exploration from 1788 to 1888. Ernest Favenc / Книга С меки корици
common.buy 26.86 € 52.54 лв
Surgery of the Stomach Horst D. Becker / Книга С меки корици
common.buy 108.45 € 212.10 лв
Top
NKJV, Simply Charming Bible Thomas Nelson / Книга С твърди корици
common.buy 25.98 € 50.82 лв
Voicework in Music Therapy Felicity Baker / Книга С меки корици
common.buy 67.22 € 131.46 лв
Usborne Geography Encyclopedia Gillian Doherty / Книга С меки корици
common.buy 19.27 € 37.68 лв

Вход

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

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

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

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

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