Dietmar Schreiner – författare
Visar alla böcker från författaren .
1 produkt
1 produkt
Del 336 - Communications in Computer and Information Science
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
Häftad, Engelska, 2012
729 kr
Skickas inom 10-15 vardagar