Logic of Programming and Calculi of Discrete Design (NATO Asi Series: Series F: Computer & Systems Sciences)

Discrete

by Manfred Broy

Hardcover

ISBN: 978-0-387-18003-8

ISBN-10: 0-387-18003-6

Springer Verlag · 1987
See also (possibly by other authors):
1987TaschenbuchLogic of Programming and Calculi of Discrete Design (Nato ASI Subseries F:, Band 36)