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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Computation Engineering:: Formal Specification and Verification Methods

Ganesh Gopalakrishnan

Език

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

Книга С твърди корици

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

Издателство Springer Verlag GmbH, ноември 2007

Many textbooks on formal methods and verification do an excellent job of discussing theory -- often... Цялото описание

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

252 b

104.19 €

203.77 лв

50% вероятност Ще претърсим света Кога ще получа книгата?

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

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

Škola hry na sopránovou zobcovou flétnu 1 Jaroslav Stojan

С меки корици

4.50 € 8.80 лв

Pest und ihre Bekampfung Paul Musehold

С меки корици

35.52 € 69.47 лв

Bortom Equestria - Rainbow Dash kastar loss! Berrow

MP3

5.02 € 9.81 лв

AMAZONIAS LERNER

С меки корици

39.30 € 76.86 лв

Georg Wilhelm Friedrich Hegel: Sämtliche Werke. Jubiläumsausgabe / Band 8: System der Philosophie I. Die Logik Georg W Hegel

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

83.16 € 162.65 лв

Neslušne nadšená Henrieta Moravčíková

С меки корици

12.84 € 25.11 лв

Historia i Teraźniejszość podręcznik dla klasy 1 liceum i technikum 1945–1979 Wojciech Roszkowski

С меки корици

14.60 € 28.55 лв

Richardson, Rousseau und Goethe Erich Schmidt

С меки корици

25.63 € 50.13 лв

Radzenie sobie z problemem burzy rozgloszeniowej w mobilnych sieciach ad hoc

С меки корици

37.80 € 73.93 лв

Geschichten aus der Ronneburg-Apotheke Adel Frank

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

19.05 € 37.26 лв

Manual para sobrevivir en el mundo laboral : cómo hacer frente a las situaciones de estrés Jacques Salomé

С меки корици

18.33 € 35.84 лв

Jsi divný Oliver Heyn

С меки корици

10.97 € 21.46 лв

Wybór pism literackich Wójcicki Kazimierz Władysław

С меки корици

10.66 € 20.85 лв

Manual del candidato electoral Xosé Rúas Araújo

С меки корици

22.42 € 43.85 лв

Many textbooks on formal methods and verification do an excellent job of discussing theory -- often at the loss of providing examples. Computation Engineering: Formal Specification and Verification Methods presents formal methods with a concentration on practical applications, thus acting as a fast-track introduction to modern formal specification and verification tools and techniques. By using a wide array of puzzles, problems, industry case studies, and a variety of varification tools, students have the opportunity to learn from experience rather than rote memorization. In using this textbook, students are asked to design protocols, discover properties to state, and thus learn what exactly the whole process of formal verification involves. By inventing new concurrent protocols and then proving them correct, they are saved from simply re-visiting standard protocols, instead learning to think through the process for themselves. By using actual examples, students learn why certain methods work well, what they are lacking, and how to compare and contrast methods. Thus, they learn how to think rather than what to think. TOC:-Introduction -Overview -Promela, SPIN Verification, and Linear-time Temporal Logic -SPIN case study -Murphi Language -Murphi Case Study -NuSMV Model-Checker and BDDs -Boolean Satisfiability and Bounded Model-checking -Software Verification Methods: Blast and Java Path Finder