Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development (Berichte aus der Informatik)

Specifications

von Axel Schairer

Taschenbuch

Details (Deutschland)

ISBN-13: 978-3-8322-5380-6

ISBN-10: 3-8322-5380-7

Shaker · 2006