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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Modern Formal Methods and Applications

Name: Modern Formal Methods and Applications
Brand: Springer
SKU: 01975288
Price: 119.1 EUR
Availability: InStock
Author: Hossam A. Gabbar
ISBN: 9789048170791

Hossam A. Gabbar

Език

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

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

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

Издателство Springer, октомври 2010

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods... Цялото описание

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

289 b

119.10 €

232.94 лв

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

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

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

Ginsterhöhe Julian Mehne

Digital

15.31 € 29.95 лв

Meu par de chinelos Aline Matos

С меки корици

15.68 € 30.66 лв

Человек и его символы. Карл Юнг

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

36.62 € 71.62 лв

Adios, Mister Trump Figueroa

MP3

10.00 € 19.56 лв

AI Artificial Intelligence Manoj Kumar Nair

С меки корици

9.90 € 19.36 лв

Amici di Maria De Filippi Mariam T. Tennoe

С меки корици

221.29 € 432.80 лв

Equilíbrio da Vida Profissional e Volume de Negócios Intenç?o dos Empregados Mamta Brahmbhatt

С меки корици

35.79 € 70.01 лв

risveglio dell'umano. Riflessioni da un tempo vertiginoso Julián Carrón

Книга

10.31 € 20.17 лв

Le monde byzantin. Tome 2 Cheynet

С меки корици

56.38 € 110.26 лв

Bizansin Fethi Stefan Zweig

С меки корици

13.82 € 27.03 лв

Xxxholic 18 Clamp

С меки корици

5.20 € 10.18 лв

Der kleine Vampir 07. im Jammertal Angela Sommer-Bodenburg

Аудио компактдиск

7.68 € 15.02 лв

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool.§Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also, hardware compilation and systems can be managed using formal methods.§This book will be helpful for both beginners and experts to get insights and experience on modern formal methods by viewing real applications from different domains.