Logic of programming and calculi of discrete design: international summer school
Auteur :
Broy, Manfred
ISBN :
9783642873768
Date de publication :
9 avr. 2012
Dimensions :
24,4 x 17,0 x 2,2 cm
Poids :
733 g
Langue :
Anglais
Pays d'origine :
Allemagne
Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29-August 10, 1986