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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Tools for Practical Software Verification

Name: Tools for Practical Software Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05281542
Price: 50.16 EUR
Availability: InStock
Author: Bertrand Meyer
ISBN: 9783642357459

International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Bertrand Meyer

Martin Nordio

Език

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

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

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

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

The LASER school is intended for professionals from the industry (engineers and managers) as well as... Цялото описание

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

121 b

50.16 €

98.11 лв

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

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

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

Mi amor, mi juez : alteridad autobiográfica femenina Mercedes Arriaga Flórez

С меки корици

13.82 € 27.03 лв

Zwei Meermädchen und ein flossenstarkes Abenteuer Arena Erstlesebücher

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

9.16 € 17.91 лв

Logopedické vymalovánky Ivana Novotná

С меки корици

8.80 € 17.20 лв

Le dernier Duc de Bretagne Choffel

С меки корици

10.71 € 20.95 лв

Entstehung des Manifests vom Oktober 1905 und des russischen Grundgesetzes vom Marz 1906 Christoph Seifferth

С меки корици

17.13 € 33.51 лв

Mediasuela el retorno del pirata Mikel Alvira Palacios

С меки корици

14.39 € 28.14 лв

Olympia Ernst Curtius

С меки корици

20.91 € 40.90 лв

Před strážci Minutemani Hedvábný přízrak Amanda Connerová

С меки корици

17.34 € 33.91 лв

Violin Method Bartolomeo Campagnoli

С меки корици

25.62 € 50.12 лв

Оракул Ленорман Изумрудные птицы (36 карт+ книга) Оксана Raullkrass

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

68.70 € 134.37 лв

Veselá angličtina

С меки корици

3.15 € 6.17 лв

101 astuces pour mieux penser Delengaigne

С меки корици

29.97 € 58.62 лв

Nuove storie d'ogni colore Emilio De Marchi

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

19.05 € 37.25 лв

Nur für Anfänger, Songbook für Gitarre, m. Audio-CD. Bd.1 Joe Bennett

С меки корици

15.84 € 30.98 лв

Gloria D-Dur RV 589, Klavierauszug Antonio Vivaldi

Ноти

16.67 € 32.60 лв

Les Maladies F Briles Louis Vitet

С меки корици

31.63 € 61.86 лв

Gradus Ad Parnassum; Sive Novus Synonymorum, Epithetorum, Phrasium Poeticarum, AC Versuum Thesaurus, ... AB Uno E Societate Jesu. Hac Editione Adduntu PAUL ALER

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

43.95 € 85.96 лв

Que Hora Es Alla?: America y El Islam En Los Linderos de la Modernidad Serge Gruzinski

С меки корици

18.94 € 37.05 лв

Lexikon der Musik des Barock, 2 Teile Elisabeth Schmierer

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

283.15 € 553.80 лв

Processos de Producao de Conteudo para o t-Learning Airton Zancanaro

С меки корици

61.30 € 119.89 лв

The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers.§LASER 2011 is devoted to software verification tools. There have been great advances in the field of software verification in recent years. Today verification tools are being increasingly used not only by researchers, but by programming practitioners. The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.