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

Model Checking Software

9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Model Checking Software Dragan Bosnacki
Код Либристо: 01564229
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, март 2002
"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Chec... Цялото описание
? points 132 b
54.35 €
106.30  лв
Външен склад Изпращаме след 5-8 дни

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

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

Dieter Kropp's Weihnachts-Liederbuch für die Mundharmonika (Blues Harp) in C-Dur, m. Audio-CD Dieter Kropp / Печатни материали Ноти
common.buy 21.13 € 41.32 лв
La Cascade Féerique, Audio-CD Michel Pépé / Аудио Аудио компактдиск
common.buy 18.08 € 35.36 лв
BilMoG und Interne Revision Alexander Hofem / Книга С меки корици
common.buy 30.58 € 59.81 лв
Tu eres mi heroe JUAN CARLOS CHANDRO RAMIREZ / Книга С меки корици
common.buy 10.17 € 19.90 лв
Erlebnis und Geschichte Edgar Feuchtwanger / Книга С меки корици
common.buy 34.10 € 66.69 лв
Design Universal e a Terceira Idade Maria Goretti Fernandes Fernandes / Книга С меки корици
common.buy 37.71 € 73.76 лв

"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002.§The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system."

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

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

Пълно заглавие Model Checking Software
Автор Dragan Bosnacki, Stefan Leue
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2002
Брой страници 262
Баркод 9783540434771
ISBN 3540434771
Код Либристо 01564229
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 472
Размери 155 x 235 x 16

Категории

Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
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 Книгата ще пристигне на адреса на получателя

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

Marriages and Deaths from Mississippi Newspapers Betty C Wiltshire / Книга С меки корици
common.buy 28.83 € 56.38 лв
Arduino Circuit Board Projects HandsOn: Coin Sorting Machine, Brilliant Restaurant Menu Ordering, your own Wi-Fi Repeater, Buzz Wire Game, Fan Speed C Ambika Parameswari K / Книга С меки корици
common.buy 17.15 € 33.54 лв
Picross Hanjie Griddlers Nonograms book Djape / Книга С меки корици
common.buy 12.14 € 23.74 лв
Indictment of the American Clergy THOMAS WADE / Книга С меки корици
common.buy 15.29 € 29.90 лв
The Beach, mit 1 CD-ROM/Audio-CD. 1. Lernjahr Rick Sampedro / Книга С меки корици
common.buy 13.22 € 25.86 лв
Lilith: the Legend of the First Woman Ada Langworthy Collier / Книга С меки корици
common.buy 19.37 € 37.89 лв
The Queen's Gamble Barbara Kyle / Книга С меки корици
common.buy 17.98 € 35.16 лв
French & Indian War Novels Joseph A. Altsheler / Книга С твърди корици
common.buy 42.93 € 83.97 лв
Forever Words James Garvin / Книга С меки корици
common.buy 13.17 € 25.76 лв
Shakespeare and Race Imtiaz Habib / Книга С твърди корици
common.buy 84.73 € 165.72 лв
Social Structure Charles Crothers / Книга С твърди корици
common.buy 234.77 € 459.18 лв
Power to the Patient Atlas / Книга С меки корици
common.buy 14.05 € 27.48 лв
Quantum Fractals: From Heisenberg's Uncertainty To Barnsley's Fractality Arkadiusz Jadczyk / Книга С твърди корици
common.buy 137.38 € 268.69 лв
For Derrida J. Hillis Miller / Книга С меки корици
common.buy 55.74 € 109.03 лв
Critical Dictionary of the French Revolution Francois Furet / Книга С твърди корици
common.buy 237.05 € 463.63 лв
Modern Monetary Theory M.L. Burstein / Книга С меки корици
common.buy 119.50 € 233.73 лв
Strangers In Death J. D. Robb / Книга С меки корици
common.buy 12.65 € 24.75 лв

Вход

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

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

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

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

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