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: 579 NOK
Availability: OutOfStock
Author: Bertrand Meyer

Pris

NOK 579

Bestillingsvarer

Forventes levert 17. - 31. aug

Få varsel om nye utgivelser fra Bertrand Meyer

Kundene våre sier:

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

14 dages returrett

Toppvurdering på Trustpilot

Legg til iMusic ønskeliste

eller

Ikke vurdert ennå

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	Bøker Pocketbok (Bok med mykt omslag og limt rygg)
Utgitt	30. november 2012
ISBN13	9783642357459
Utgivere	Springer-Verlag Berlin and Heidelberg Gm
Sjanger	Aspects (Academic) > Science / Technology Aspects
Antall sider	183
Mål	155 × 235 × 15 mm · 272 g
Språk	Tysk
Redaktør	Meyer, Bertrand
Redaktør	Nordio, Martin