Sökt på: Sökresultat

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic …