Del 16
Software Engineering Approaches for Offshore and Outsourced Development
Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio
Häftad
729 kr
Del 0 - Lecture Notes in Computer Science
Tools for Practical Software Verification
International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
Häftad, Engelska, 2012
819 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2012-11-30
- Mått155 x 235 x 11 mm
- Vikt300 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor183
- Upplaga2012
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642357459
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 8987
Software Engineering Approaches for Offshore and Outsourced Development
Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov
Häftad
729 kr
Del 11771
Software Technology: Methods and Tools
Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander Petrenko
Häftad
729 kr
Balancing Agility and Formalism in Software Engineering
Bertrand Meyer, J.R. Nawrocki, Bartosz Walter
Häftad
729 kr