[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

FME 2001: Formal Methods for Increasing Software Productivity

Език Английски езикАнглийски език
Книга С меки корици
Книга FME 2001: Formal Methods for Increasing Software Productivity Jose N. Oliveira
Код Либристо: 01563353
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, февруари 2001
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Цялото описание
? points 324 b
252.84 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Classroom Instruction That Works Ceri B Dean / С меки корици
common.buy 64.87 лв
Making Money Stephen Briggs / С меки корици
common.buy 46.20 лв
Aushandlung Ohne Dissens? Sarah Hitzler / С меки корици
common.buy 109.77 лв
Escape Heleen van Royen / С меки корици
common.buy 36.31 лв
Folgebewertung des Goodwill Tino Fettback / С меки корици
common.buy 194.92 лв
Boys Who Rocked the World Michelle Roehm McCann / С меки корици
common.buy 21.78 лв
Banks of the Nile Todd John A / С твърди корици
common.buy 89.18 лв
Evolution Jeri Travis / С твърди корици
common.buy 58.71 лв
Russische Reise Hermann Bahr / С меки корици
common.buy 78.89 лв
Das Vogtland, 1 DVD Sagenhaft-Reiseführer / DVD
common.buy 25.42 лв
Naturalizing Epistemic Virtue Abrol Fairweather / С твърди корици
common.buy 193.61 лв
Ausweg ins Unwirkliche Clemens Brunn / С меки корици
common.buy 142.86 лв
Civil Rights and Beyond: African American and Latino/A Activism in the Twentieth Century United States Dan Berger / С твърди корици
common.buy 307.62 лв
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 1 Bibliotheque Nationale / С меки корици
common.buy 73.85 лв
Fragmentacion del Adn de Espermatozoides Humanos Rebeca Santiso / С меки корици
common.buy 173.33 лв

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001.The 32 revised full papers presented together with abstracts of three invited talks were carefully reviewed and selected from a total of 72 submissions. Focusing on increasing software productivity, all current aspects in formal methods are covered. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications, etc.

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

Пълно заглавие FME 2001: Formal Methods for Increasing Software Productivity
Автор Jose N. Oliveira, Pamela Zave
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2001
Брой страници 634
Баркод 9783540417910
ISBN 3540417915
Код Либристо 01563353
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1083
Размери 155 x 233 x 35

Категории

Economics, Finance, Business & Management > Business & Management > Business mathematics & systems
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 > Business applications
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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