This textbook presents a systematic methodology for program development by using design recipe...
This book constitutes the thoroughly refereed post-conferenceproceedings of the 22nd Internat...
This textbook is about systematic problem solving and systematic reasoning using type-driven desi...
This textbook presents a systematic methodology for program development by using design recipes, ...
This textbook is about systematic problem solving and systematic reasoning using type-driven desi...
This textbook presents a systematic methodology for program development by using design recipes, ...
This textbook introduces formal languages and automata theory for upper-level undergraduate or be...
This textbook introduces formal languages and automata theory for upper-level undergraduate or be...
contributing authors.