Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01649327
Price: 54.47 EUR
Availability: InStock
Author: Michael Leuschel
ISBN: 9783642002540

7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings

Michael Leuschel

Heike Wehrheim

Език

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

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

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

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, февруари 2009

This book constitutes the refereed proceedings of the 7th International Conference on Integrated For... Цялото описание

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

132 b

54.47 €

106.54 лв

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

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

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

Les plus beaux Haras de France Meniel

С твърди корици

57.37 € 112.21 лв

SPIRITUALS FOR ALL HEFT 2 RALF PETERSEN Книга

binding.

11.18 € 21.87 лв

BEN (cast.) CARE SANTOS TORRES

С меки корици

14.29 € 27.94 лв

Notice Sur l'Ecole Imperiale Centrale Des Arts Et Manufactures Sans Auteur

С меки корици

15.53 € 30.37 лв

This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009.§The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.