Zur Startseite wechseln
CHF 0.00
Kategorien
Englisch und andere Fremdsprachen
Englisch
Produktbild
Reiner (Hrsg.) Hähnle

Leveraging Applications of Formal Methods, Verification, and Validation

International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Buch

CHF 93.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails

Weitere Autoren: Knoop, Jens (Hrsg.) / Margaria, Tiziana (Hrsg.) / Schreiner, Dietmar (Hrsg.) / Steffen, Bernhard (Hrsg.)
  • ISBN: 978-3-642-34780-1
  • EAN: 9783642347801
  • Produktnummer: 14014151
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 2012
  • Seitenangabe: 276 S.
  • Masse: H23.5 cm x B15.5 cm x D1.4 cm 423 g
  • Auflage: 2012
  • Abbildungen: Paperback
  • Gewicht: 423

20 weitere Werke von Reiner (Hrsg.) Hähnle:

Produktbild
Verification of Object-Oriented Software. The KeY Approach
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Buch
CHF 158.00
Produktbild
Theorem Proving with Analytic Tableaux and Related Methods
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Buch
CHF 108.00
Produktbild
Tests and Proofs
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Buch
CHF 93.00
Produktbild
Verification of Object-Oriented Software. The KeY Approach
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Ebook (PDF Format)
CHF 136.00
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Ebook (PDF Format)
CHF 73.50
Produktbild
Formal Methods for Components and Objects
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Buch
CHF 66.00
Produktbild
Formal Methods for Components and Objects
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Ebook (PDF Format)
CHF 54.50
Produktbild
Deductive Software Verification - The KeY Book
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Ebook (PDF Format)
CHF 118.00
Produktbild
Deductive Software Verification - The KeY Book
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Buch
CHF 136.00
Produktbild
Deductive Software Verification: Future Perspectives
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Ebook (PDF Format)
CHF 78.00
Produktbild
Handbook of Tableau Methods
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Buch
CHF 370.00
Produktbild
Automated Reasoning
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Buch
CHF 144.00
Produktbild
Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Buch
CHF 84.00
Produktbild
Tests and Proofs
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Ebook (PDF Format)
CHF 77.00
Produktbild
Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Ebook (PDF Format)
CHF 68.50
Produktbild
Automated Reasoning
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Ebook (PDF Format)
CHF 140.00
Produktbild
Fundamental Approaches to Software Engineering
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Buch
CHF 72.00
Produktbild
Handbook of Tableau Methods
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Buch
CHF 370.00
Produktbild
Deductive Software Verification: Future Perspectives
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Buch
CHF 95.00
Produktbild
Handbook of Tableau Methods
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Ebook (PDF Format)
CHF 330.50

Bewertungen

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...