Brim, Lubo; Haverkort, Boudewijn; Leucker, Martin
Formal Methods: Applications and Technology; 11th International Workshop, Fmics 2006 and 5th International Workshop, Pdmc 2006 Bonn, Germany, August 26-27, and August 31, 2006 Revised Selected Papers. Lecture Notes in Computer Science, Volume 4346
Springer
€ 86,11
Leverbaar
E-book | 372 pagina's | Engels
MyiLibrary
ISBN-13: 9781280935770