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

Integrated Formal Methods

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Integrated Formal Methods Elvira Albert
Код Либристо: 05147795
Издателство Springer International Publishing AG, август 2014
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Fo... Цялото описание
? points 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 5-8 дни

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

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

Surrender to the Fantasy Magik Markers / Аудио Аудио компактдиск
common.buy 23.14 € 45.25 лв
Гендер, культура и фукусимская катастрофа / Книга С твърди корици
common.buy 24.90 € 48.70 лв
Die italienische Plastik Wilhelm Bode / Книга С твърди корици
common.buy 125.55 € 245.55 лв
Perfektionismus im Schulkontext / Книга С меки корици
common.buy 17.13 € 33.51 лв
Recueil De Contes Populaires Grecs Anonymous / Книга С твърди корици
common.buy 34.48 € 67.43 лв
THE CURE MARCOS GENDRE / Книга Книга
common.buy 25.31 € 49.51 лв
Borussia Mönchen Gladbach Holger Jenrich / Книга С меки корици
common.buy 16.20 € 31.68 лв
Studio dell'altezza facciale inferiore Mustapha Amad Neto / Книга С меки корици
common.buy 22.78 € 44.55 лв
Boy's Abyss 11 Nana Umino / Книга С меки корици
common.buy 7.81 € 15.28 лв
Storm Child Fountain / Книга С меки корици
common.buy 10.40 € 20.34 лв
Zestaw Dress Me Up Top Model Sport 13808A / Книга С меки корици
common.buy 7.04 € 13.76 лв
Mia Moglie mi Tradisce Lara Steele / Книга С твърди корици
common.buy 23.76 € 46.47 лв
A2 Key for schools Trainer 2 / Книга С меки корици
common.buy 46.49 € 90.92 лв
Jetzt sag ich's Waltraut Haas / E-книга Adobe ePub DRM
common.buy 20.81 € 40.70 лв
Innovatives Regelungs- und Überwachungssystem zur Schadstoffminderung und Effizienzerhöhung in häuslichen Biomasseheizkesseln. Niro Akbary / Книга С меки корици
common.buy 56.22 € 109.96 лв
Dopamin Rowena Kong / Книга С меки корици
common.buy 37.79 € 73.91 лв
POR TIERRAS DE SALAMANCA GRANDE DEL BRIO / Книга С твърди корици
common.buy 26.97 € 52.75 лв
Tajemství stříbrné klisny Julie Wald / Книга С твърди корици
common.buy 9.83 € 19.23 лв
Ya soy mayor y puedo ayudar a los demás LOLL KIRBY / Книга С меки корици
common.buy 16.41 € 32.09 лв
Promouvoir une agriculture paysanne, écologique et solidaire en Europe BEDE / Книга С меки корици
common.buy 14.13 € 27.63 лв
Le Triomphe de la méthode Fauchere / Книга С твърди корици
common.buy 11.39 € 22.27 лв
Ange Pitou - Tome II: (Les Mémoires d'un médecin) Dumas Alexandre / Книга С меки корици
common.buy 15.58 € 30.47 лв
Historia de la Vida del Buscon Llamado Don Pablos: Ejemplo de Vagamundos Y Espejo de Taca Francisco de Quevedo / Книга С меки корици
common.buy 13.04 € 25.51 лв
Ein anarchistischer Bankier, 1 Audio-CD, 1 MP3 Fernando Pessoa / Аудио Аудио компактдиск
common.buy 16.67 € 32.60 лв

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

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

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

Пълно заглавие Integrated Formal Methods
Автор Elvira Albert, Emil Sekerinski
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 390
Баркод 9783319101804
ISBN 3319101803
Код Либристо 05147795
Издателство Springer International Publishing AG
Тегло 6088
Размери 155 x 235 x 22

Категории

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

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

Solidarity in Health and Social Care in Europe W. Arts / Книга С меки корици
common.buy 217.04 € 424.48 лв
Sins of a Wicked Princess Anna Randol / Книга С меки корици
common.buy 9.16 € 17.91 лв
VOCABULARY SUCCESS B2 FCE SELF STUDY / Книга Книга
common.buy 21.02 € 41.10 лв
Facilitator's & Trainer's Toolkit Artie Mahal / Книга С меки корици
common.buy 23.14 € 45.25 лв
Practical Spirituality and Human Development Ananta Kumar Giri / Книга С твърди корици
common.buy 112.04 € 219.12 лв
Brownies in the Attic S a Parks / Книга С меки корици
common.buy 8.85 € 17.31 лв
Black Ice Lorene Cary / Книга С меки корици
common.buy 14.28 € 27.94 лв
Analytical QbD Approach for Enhanced Robustness of HPLC Methods Sarwar Beg / Книга С меки корици
common.buy 34.06 € 66.62 лв
Paddling Idaho Greg Stahl / Книга С меки корици
common.buy 26.66 € 52.14 лв
The Secrets of the Notebook: A Woman's Quest to Uncover Her Royal Family Secret Eve Haas / Книга С меки корици
common.buy 17.65 € 34.52 лв
Top
The Incomplete (Updated Edition) Robert Klanten / Книга С твърди корици
common.buy 47.27 € 92.44 лв
Church history: Historia Ecclesiastica or Historia Ecclesiae Eusebius of Caesarea / Книга С меки корици
common.buy 25.83 € 50.52 лв
2 Life's Stories J L Albesa / Книга С меки корици
common.buy 6.21 € 12.14 лв
The Complete Idiot's Guide to Dirty Jokes David Pietras / Книга С меки корици
common.buy 17.81 € 34.82 лв
Letters and Papers Illustrative of the Reigns of Richard III and Henry VII James Gairdner / Книга С меки корици
common.buy 34.06 € 66.62 лв
Lonely Mystic Michael Ford / Книга С меки корици
common.buy 16.67 € 32.60 лв
Find Wonder in the Ordinary: A Kid's Book for Adults Bernie Freytag / Книга С меки корици
common.buy 19.31 € 37.76 лв
Soccer Scenario Cards Darren Laver / Книга С меки корици
common.buy 14.85 € 29.05 лв
Lower Secondary Maths Progress Teacher's Guide: Stage 8 Alastair Duncombe / Книга С меки корици
common.buy 72.22 € 141.25 лв
Cursive Alphabet Mike Stewart / Книга С меки корици
common.buy 9.57 € 18.72 лв
Perfect Real Estate Agent Blueprint Robby Trefethren / Книга С меки корици
common.buy 17.18 € 33.61 лв
No More Anxiety! Gladeana McMahon / E-книга Adobe ePub DRM
common.buy 37.17 € 72.70 лв
Top
Empire of Cotton Sven Beckert / Книга С меки корици
common.buy 20.29 € 39.68 лв
Multimedia Modernism Julian Murphet / Книга С твърди корици
common.buy 133.52 € 261.15 лв

Вход

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

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

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

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

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