Book serie: / Книги серии: NATO ASI Series 36 Series F » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: NATO ASI Series 36 Series F

book Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

djvu

Author: Richard S. Bird (auth.) Manfred Broy (eds.)
Language: English
Year: 1987

00

27.01.2024

0

0