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

Formal Methods: Foundations and Applications

12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods: Foundations and Applications Marcel Vinícius Medeiros Oliveira
Код Либристо: 01655091
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ноември 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp... Цялото описание
? points 132 b
54.41 €
106.41  лв
Външен склад Изпращаме след 5-8 дни

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

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

NoElle et Lui Alban Bourdy / Книга С меки корици
common.buy 11.58 € 22.65 лв
Gedichte in hochdeutscher und pfälzischer Mundart Franz von Kobell / Книга С меки корици
common.buy 17.99 € 35.19 лв
Pierre des fées du Maroc / Книга binding.
common.buy 12.36 € 24.17 лв
Hemisferios / Книга Книга
common.buy 8.37 € 16.38 лв
Conoce Peru Robin Johnson / Книга С твърди корици
common.buy 29.01 € 56.74 лв
Differentialgeometrie, Topologie und Physik Matthias Delbrück / Книга С твърди корици
common.buy 86.37 € 168.92 лв
Das fröhliche Weihnachtsliederheft Renate Bruce-Weber / Печатни материали Ноти
common.buy 14.48 € 28.31 лв
La hija del Ganges Raluca Mirela Petrescu / E-книга Adobe ePub DRM
common.buy 9.20 € 18.00 лв
Le système fiscal international : une construction conceptuelle et pragmatique Giard / Книга С меки корици
common.buy 41.53 € 81.22 лв
Přerušený klid - Islandská krimi Arnaldur Indridason / Книга С твърди корици
common.buy 12.82 € 25.08 лв
Подготвяме
Comme un mendiant sur les quais de marbre Penblanc / Книга С меки корици
common.buy 26.32 € 51.48 лв

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.§The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.

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

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

Пълно заглавие Formal Methods: Foundations and Applications
Автор Marcel Vinícius Medeiros Oliveira, Jim Woodcock
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2009
Брой страници 351
Баркод 9783642104510
ISBN 3642104517
Код Либристо 01655091
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 557
Размери 155 x 235 x 20

Категории

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

A General View of Positivism Auguste Comte / Книга С меки корици
common.buy 28.34 € 55.42 лв
Microserfs & Girlfriend in a Coma Douglas Coupland / Аудиокнига MP3
common.buy 12.36 € 24.17 лв
Discovery of the South Shetland Islands / The Voyage of the Brig Williams, 1819-1820 and The Journal of Midshipman C.W. Poynter R.J. Campbell / Книга С меки корици
common.buy 58.96 € 115.31 лв
Pedagogies for the Post-Anthropocene Esther Priyadharshini / Книга С твърди корици
common.buy 119.42 € 233.56 лв
First Poems Wildie Thayer / Книга С меки корици
common.buy 25.03 € 48.95 лв
Adventures with Annie Coloring Book Misty Marksberry Merideth / Книга С меки корици
common.buy 7.60 € 14.86 лв
Taylor's STEM Adventures: Hawaii Mary Payton / Книга С твърди корици
common.buy 17.84 € 34.89 лв
Book of Hours: The Beguilement of Brother Alphaios J S Anderson / Книга С меки корици
common.buy 15.72 € 30.74 лв
Generalist Case Management Workbook Marianne Woodside / Книга С меки корици
common.buy 84.30 € 164.88 лв
Stock Market Trivia Fred Fuld III / Книга С меки корици
common.buy 19.29 € 37.72 лв
A House Made of Stars Tawnysha Greene / Книга С меки корици
common.buy 17.43 € 34.08 лв
The Law of electric Wires in Streets and Highways Edward Quinton Keasbey / Книга С меки корици
common.buy 19.91 € 38.94 лв
USN Battleship vs IJN Battleship Mark Stille / Книга С меки корици
common.buy 20.48 € 40.05 лв
ValueSelling Julie Thomas / Книга С меки корици
common.buy 17.43 € 34.08 лв
Bankers Shane Ross / Книга С меки корици
common.buy 27.61 € 54.01 лв
Chester Cello Fingering Chart David (University of Toronto) Harrison / Книга С меки корици
common.buy 6.72 € 13.14 лв
Personality and the Fate of Organizations Robert Hogan / Книга С твърди корици
common.buy 209.10 € 408.97 лв
Unspoken Word Orlando Trevino / Книга С меки корици
common.buy 24.56 € 48.04 лв
From the Beginning of Always Bonnie Bachman / Книга С меки корици
common.buy 11.32 € 22.14 лв
Ocean, the Forest, the Fields Troy R Nelson / Книга С твърди корици
common.buy 44.94 € 87.90 лв
Environmental Quality US Army Corps of Engineers / Книга С меки корици
common.buy 23.27 € 45.51 лв
Self-Publishing 101 Debbie Elicksen / Книга С меки корици
common.buy 16.65 € 32.56 лв
Top Ten Jazz Songs To Play On Piano / Книга С меки корици
common.buy 24.30 € 47.53 лв

Вход

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

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

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

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

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