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

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Model Checking Software Susanne Graf
Код Либристо: 01559203
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, март 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Цялото описание
? points 148 b
61.19 €
119.68  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Подготвяме
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Книга Книга
common.buy 72.85 € 142.48 лв
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-книга Adobe ePub DRM
common.buy 9.22 € 18.03 лв
Świat. Historia rodzinna (tom 2) Montefiore Simon Sebag / Книга С твърди корици
common.buy 29.22 € 57.15 лв
Top
Psychológia ako zbraň Tomáš Vepi / Книга С твърди корици
common.buy 15.95 € 31.21 лв
MYTHOS SANTOS / Книга Книга
common.buy 22.90 € 44.78 лв
Kontrastive Medienlinguistik Roman Opilowski / Книга С меки корици
common.buy 60.88 € 119.07 лв
?Quién es mi bebé? EDICIONES / Книга С меки корици
common.buy 19.79 € 38.70 лв
METODO LENGUAJE MUSICAL 3 DICTADOS SANCHO / Книга С меки корици
common.buy 10.82 € 21.17 лв
Tutto il mondo del pane. 400 pani. 70 ricette. Scuole, tecniche, lieviti madre nei cinque continenti Fulvio Marino / Книга С твърди корици
common.buy 28.60 € 55.93 лв
Unterhaltsrecht Michael Schwimann / Книга С твърди корици
common.buy 82.90 € 162.14 лв
Le secret en matière fiscale Pilotin / Книга С меки корици
common.buy 45.91 € 89.78 лв
Borderline - Tijuana Connection, 1 DVD William A. Seiter / Видео DVD
common.buy 14.50 € 28.37 лв
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Книга С меки корици
common.buy 13.78 € 26.95 лв
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Книга С меки корици
common.buy 14.40 € 28.16 лв
Y Dejo Escapar Sus Ojos Teresa Zatarain / Книга С твърди корици
common.buy 16.89 € 33.03 лв
La semilla del futuro : la agricultura explicada a los ciudadanos François Dufour / Книга С меки корици
common.buy 23.62 € 46.20 лв
Königsblut / Книга С меки корици
common.buy 8.23 € 16.10 лв
Correspondance Du Comte de la Forest, Ambassadeur de France En Espagne, 1808-1813. T7 La Forest-A / Книга С меки корици
common.buy 25.33 € 49.55 лв
Oeuvres Completes de Guy de Maupassant. Tome 13 Bel-Ami Guy De Maupassant / Книга С меки корици
common.buy 36.16 € 70.73 лв
Rafaela McKensey Monika Hoffmann / Книга С меки корици
common.buy 8.18 € 16.00 лв
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Книга С твърди корици
common.buy 38.24 € 74.78 лв
Spin-Off der Mercedes-Benz Lenkungssparte Mark S. Walcher / Книга С меки корици
common.buy 45.44 € 88.87 лв
Opfer als Tater. Wechselbeziehungen zwischen Opfern und Tatern in La muerte y la doncella Janike Kyritz / Книга С меки корици
common.buy 15.28 € 29.89 лв
Histoire de France 1715-1723 Volume 17 (of 19) Jules Michelet / Книга С меки корици
common.buy 17.15 € 33.54 лв

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

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

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

Пълно заглавие Model Checking Software
Автор Susanne Graf, Laurent Mounier
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2004
Брой страници 314
Баркод 9783540213147
ISBN 3540213147
Код Либристо 01559203
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 493
Размери 155 x 235 x 18

Категории

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 Книгата ще пристигне на адреса на получателя

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

Frontiers in Algorithms D. T. Lee / Книга С меки корици
common.buy 59.95 € 117.25 лв
Classic Operating Systems Per Brinch Hansen / Книга С твърди корици
common.buy 108.76 € 212.72 лв
Rayne the Raindrop Marlo Nix / Книга С меки корици
common.buy 16.32 € 31.91 лв
Top
First Steps: Caro-Kann Defence Andrew Martin / Книга С меки корици
common.buy 25.07 € 49.04 лв
Mobile Communications Handbook Jerry D. Gibson / Книга С меки корици
common.buy 127.31 € 249.00 лв
Cozy Camping (A Lexie Starr Mystery, Book 6) Jeanne Glidewell / Книга С твърди корици
common.buy 26.06 € 50.97 лв
Patología celular Norman F. Cheville / Книга С меки корици
common.buy 45.70 € 89.38 лв
NOVELS, VOLUME 9 IVAN SERGE TURGENEV / Книга С твърди корици
common.buy 33.62 € 65.76 лв
Critical Readings on Food in East Asia (3 Vols. Set) K. J. Cwiertka / Книга С твърди корици
common.buy 1 220.30 € 2 386.71 лв
A Time to Laugh [With Bag] Ben Alex / Книга С твърди корици
common.buy 15.18 € 29.68 лв
Rick Riordan Presents: Serwa Boateng's Guide to Witchcraft and Mayhem Brown / Книга С меки корици
common.buy 8.44 € 16.51 лв
How's the Weather in Fall? Rebecca Felix / Книга С меки корици
common.buy 13.21 € 25.83 лв
A History of Westbury, Long Island Richard Panchyk / Книга С твърди корици
common.buy 25.39 € 49.65 лв
Standard English Grammar William Fewsmith / Книга С твърди корици
common.buy 32.64 € 63.84 лв
Stuck in the Passing Lane Jed Ringel / Книга С меки корици
common.buy 12.90 € 25.22 лв
Digital News and HIV Criminalization Colin Hastings / Книга С меки корици
common.buy 24.71 € 48.33 лв
Scruffy Goes to the Vet Stephen Rickard / Книга С меки корици
common.buy 6.37 € 12.46 лв
Top
The Power of the Pussy Kara King / Книга С меки корици
common.buy 14.87 € 29.08 лв
Entrepreneurship in the Arab World EL KHAZINDAR BUSINES / Книга С твърди корици
common.buy 41.97 € 82.08 лв
Advent Encounter MATT MESSNER / Книга С твърди корици
common.buy 20.36 € 39.82 лв
Eugenics and Other Evils G. K. Chesterton / Книга С меки корици
common.buy 17.61 € 34.45 лв
Simply Circles Bayer Philip Bayer / Книга С меки корици
common.buy 19.32 € 37.79 лв
Skim, Dive, Surface Jenae Cohn / Книга С меки корици
common.buy 25.13 € 49.14 лв
Top
My First 100 Technology Words Chris Ferrie / Книга Дипляна
common.buy 6.26 € 12.25 лв

Вход

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

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

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

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

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