Frage zu Artikel "Abstract State Machines, Alloy, B, TLA, VDM, and.."

ISBN: 978-3-662-43651-6
Titel: Abstract State Machines, Alloy, B, TLA, VDM, and..
von: Yamine Ait Ameur