Logic of Programming and Calculi of Discrete Design (NATO ASI Series / Computer and Systems Sciences)
by:
Manfred Broy (author)
Format: kindle
ASIN: B00FC1TYT0
Publish date: October 12th 1987
Publisher: Springer
Pages no: 415
Edition language: English