Автор: Ahrendt Название: Deductive Software Verification – The KeY Book ISBN: 3319498118 ISBN-13(EAN): 9783319498119 Издательство: Springer Рейтинг: Цена: 12578.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
Описание: All-new lesson-by-lesson instruction in the math skills that students need to earn a passing grade on the latest version of the GED test.
Автор: Evans Название: The Psychology of Deductive Reasoning (Psychology Revivals) ISBN: 1848723164 ISBN-13(EAN): 9781848723160 Издательство: Taylor&Francis Рейтинг: Цена: 7961.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Originally published in 1982, this was an extensive and up-to-date review of research into the psychology of deductive reasoning, Jonathan Evans presents an alternative theoretical framework to the rationalist approach which had dominated much of the published work in this field at the time.
Автор: Newton Elizabeth, Roberts Maxwell Название: Methods of Thought: Individual Differences in Reasoning Strategies ISBN: 0415655552 ISBN-13(EAN): 9780415655552 Издательство: Taylor&Francis Рейтинг: Цена: 7961.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: How do people reason? How do peoples` reasoning strategies differ and why? Methods of Thought attempts to answer these questions by looking in detail at the different reasoning strategies people acquire, select and apply.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru