Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Lecture Notes in Computer Science - Bertrand Meyer - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783642357459 - 30 novembre 2012
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 46,99

Commandé depuis un entrepôt distant

Livraison prévue 9 - 19 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 30 novembre 2012
ISBN13 9783642357459
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Pages 183
Dimensions 155 × 235 × 15 mm   ·   272 g
Langue et grammaire Allemand  
Éditeur Meyer, Bertrand
Éditeur Nordio, Martin

Plus par Bertrand Meyer

Afficher tout

Voir tous les Bertrand Meyer ( par ex. Paperback Book et Hardcover Book )