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

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods: Foundations and Applications Leila Ribeiro
Код Либристо: 15195023
Издателство Springer International Publishing AG, ноември 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SB... Цялото описание
? points 132 b
54.34 €
106.28  лв
Външен склад Изпращаме след 5-8 дни

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

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

SPA-RIGBY PM COLECCION Rigby / Книга С твърди корици
common.buy 81.46 € 159.32 лв
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Книга С меки корици
common.buy 13.68 € 26.76 лв
Leber und Galle entgiften und stärken Angela Fetzner / Книга С твърди корици
common.buy 20.92 € 40.91 лв
Objavujeme svet! RODINA neuvedený autor / Книга Дипляна
common.buy 7.90 € 15.45 лв
Eduard und Elisabeth bei den Megamikren: oder Die Reise in das Innere unseres Erdballs Giacomo Casanova / Книга С меки корици
common.buy 23.71 € 46.36 лв
Der Brotdoc: Heimatbrote Julia Ruby Hildebrand / Книга С твърди корици
common.buy 27.42 € 53.64 лв
LAS LIMITACIONES DE LOS PODERES EM CABEZA PEREIRO / Книга Книга
common.buy 18.33 € 35.86 лв
Influencia del Señor Buda en Rabindranath Tagore / Книга С меки корици
common.buy 52.69 € 103.04 лв
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Книга С меки корици
common.buy 15.23 € 29.79 лв
Antony Alexandre Dumas / Книга С меки корици
common.buy 6.97 € 13.63 лв
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Книга С меки корици
common.buy 17.40 € 34.04 лв
Noc dlouhých nožů Roman Cílek / Книга С меки корици
common.buy 6.04 € 11.81 лв
Paul Lincke Jan Kutscher / Книга С твърди корици
common.buy 46.07 € 90.11 лв
Excel 2013 en profundidad María Pérez Marques / Книга С меки корици
common.buy 42.61 € 83.34 лв
Equidad y políticas públicas en educación y formación básicas : estudio de casos en América Latina, África Subsahariana y Magreb VELEZ DE MEDRANO / Книга С меки корици
common.buy 24.89 € 48.69 лв
Der Qualit tswettbewerb Im Marktwirtschaftlichen System Friedrich Karl Flick / Книга С меки корици
common.buy 55.84 € 109.21 лв

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

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

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

Пълно заглавие Formal Methods: Foundations and Applications
Автор Leila Ribeiro, Thierry Lecomte
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2016
Брой страници 253
Баркод 9783319498140
ISBN 3319498142
Код Либристо 15195023
Издателство Springer International Publishing AG
Тегло 4044
Размери 155 x 235 x 16

Категории

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
Computing & Information Technology > Computer hardware > Maintenance & repairs
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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Top
Oxford Bookworms Library: Level 4:: Little Women Louisa May Alcott / Книга С меки корици
common.buy 10.17 € 19.89 лв
Managing 3rd Party Risk: A Comprehensive Guide to Managing the Risk of Your Vendors, Customers, Partners or Employees Dominic Suszek / Книга С меки корици
common.buy 46.23 € 90.41 лв
Ostentation Pamelia Barratt / Книга С меки корици
common.buy 14.77 € 28.89 лв
Jute, Jam & Jessie Jordan ANDREW DAVID DOYLE / Книга С меки корици
common.buy 12.03 € 23.53 лв
Urfspace Chuck Whelon / Книга С меки корици
common.buy 25.05 € 48.99 лв
Подготвяме
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Книга С меки корици
common.buy 22.72 € 44.44 лв
German Steamship Pellworm and Other Ships - High Court of Justice Lord Sterndale / Книга С меки корици
common.buy 19.21 € 37.57 лв
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Книга С твърди корици
common.buy 36.31 € 71.02 лв
THE RAINBOW FEATHER FERGUS HUME / Книга С твърди корици
common.buy 33.52 € 65.56 лв

Вход

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

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

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

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

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