This book constitutes the thoroughly refereed post-conferenceproceedings of the 22nd Internationa...
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 introduces formal languages and automata theory for upper-level undergraduate or be...
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 volume contains the selected peer-reviewed revised articles that were p- st sented at the 21...
Unser bisheriger Preis:ORGPRICE: 64,19 €