Bertrand Meyer
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Lecture Notes in Computer Science Bertrand Meyer 2012 edition

Name: Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Lecture Notes in Computer Science
Price: 48.49 EUR
Availability: OutOfStock
Author: Bertrand Meyer

Prijs

€ 48,49

Besteld in een afgelegen magazijn

Verwachte levering 12 - 20 jan. 2026

Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving

Topnotering op Trustpilot

Voeg toe aan uw iMusic-verlanglijst

Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Lecture Notes in Computer Science

Bertrand Meyer

2012 edition

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.

190 pages, 31 black & white illustrations, biography

Media	Boeken Paperback Book (Boek met zachte kaft en gelijmde rug)
Vrijgegeven	30 november 2012
ISBN13	9783642357459
Uitgevers	Springer-Verlag Berlin and Heidelberg Gm
Genre	Aspects (Academic) > Science / Technology Aspects
Pagina's	183
Afmetingen	155 × 235 × 15 mm · 272 g
Taal en grammatica	Duits
Uitgever	Meyer, Bertrand
Uitgever	Nordio, Martin