Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development

ISBN: 3832253807
MPN: 55 illustrations
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen