Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Tools for Practical Software Verification

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

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

Bertrand Meyer

Martin Nordio

Language

English

Book Paperback

Libristo code: 05281542

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2012

The LASER school is intended for professionals from the industry (engineers and managers) as well as... Full description

Libristo code: 05281542

129 b

53.40 €

Low in stock at our supplier Shipping in 11-15 days

30-day return policy

Customers also purchased

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

Hardback

65.05 €

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

Hardback

8.60 €

Logopedické vymalovánky Ivana Novotná

Paperback

8.40 €

Le dernier Duc de Bretagne Choffel

Paperback

10.23 €

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

Paperback

16.21 €

Mediasuela el retorno del pirata Mikel Alvira Palacios

Paperback

13.77 €

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

Paperback

16.31 €

Olympia Ernst Curtius

Paperback

29.18 €

Violin Method Bartolomeo Campagnoli

Paperback

25.63 €

Veselá angličtina

Paperback

2.93 €

101 astuces pour mieux penser Delengaigne

Paperback

28.77 €

Nuove storie d'ogni colore Emilio De Marchi

Hardback

36.88 €

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

Paperback

14.99 €

Gloria D-Dur RV 589, Klavierauszug Antonio Vivaldi

Sheet music

16.00 €

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

Paperback

13.16 €

Les Maladies F Briles Louis Vitet

Paperback

31.71 €

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

Hardback

43.97 €

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

Paperback

18.13 €

Be Dau - Quyen 1: Tieu Thuyet Lich Su Dao Nam

Paperback

26.54 €

Lexikon der Musik des Barock, 2 Teile Elisabeth Schmierer

Hardback

269.87 €

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

Paperback

65.97 €

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.