Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 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 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663942
Price: 54.46 EUR
Availability: InStock
Author: Ezio Bartocci
ISBN: 9783642391750

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Ezio Bartocci

C. R. Ramakrishnan

Език

Английски език

Книга С меки корици

Код Либристо: 01663942

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, май 2013

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking... Цялото описание

Код Либристо: 01663942

132 b

54.46 €

106.52 лв

Външен склад Изпращаме след 5-8 дни

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

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

Ste. Roche Henriette Von Paalzow

С меки корици

18.89 € 36.95 лв

Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann

С меки корици

55.96 € 109.46 лв

Agora sou um professor digital, como ser um professor durante a pandemia.: Um dia estava dentro da sala de aula, outro dia estava dentro de uma plataf Odirlei Amaro Ferreira

С меки корици

6.21 € 12.14 лв

Hisskillen i Lissabon Cupido

MP3

3.36 € 6.57 лв

Puzzle 3x48 Peppa Pig

Пъзел

6.88 € 13.46 лв

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.