Ads related to pre-owned lecture notes in computer science: zum 98: the z formal specification notation: 11th international conference of z users berlin germany september 24-26 1998 proceedings paperback
-
Pre-Owned Lecture Notes in Com...1 In a number of recent presentations - most notably at FME 96 -oneofthe forem... 1 In a number of recent presentations - most notably at FME 96 -oneofthe foremost scientists in the ?eld of formal methods C.A.R. Hoare has highlighted the fact that formal methods are not the only technique for producing reliable software. This... more
-
Lecture Notes in Computer Scie...This book constitutes the refereed proceedings of the 10th International Confe... This book constitutes the refereed proceedings of the 10th International Conference of Z Users ZUM 97 held in Reading UK in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading... more
-
Pre-Owned Lecture Notes in Com...These proceedings record the papers presented at the second International Conf... These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002) held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con-... more
Items per page
Ads related to pre-owned lecture notes in computer science: zum 98: the z formal specification notation: 11th international conference of z users berlin germany september 24-26 1998 proceedings paperback