Nejnižší cena za posledních 60 dní: 1 184 Kč
Ceny a dostupnost se mohou měnit i několikrát za den. Zkontrolujte si aktuální údaje přímo v e-shopech. Všechny dostupné barvy a velikosti naleznete přímo v e-shopech.
Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs. You'll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet with an example of TLA+ used in a bank transfer system, to see how it helps you design, test, and build a better application. Then, get some fundamentals of TLA+ operators, logic, functions, PlusCal, models, and concurrency. Along the way you will discover how to organize your blueprints and how to specify distributed systems and eventual consistency.
Finally, you'll put what you learn into practice with some working case study applications, applying TLA+ to a wide variety ofLearn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for
Quite simply, test-driven development is meant to eliminate fear in application development. While some fear is healthy (often viewed as a conscience that tells programmers to 'be careful!'), the author believes that byproducts of fear include tentative, grumpy, and uncommunicative programmers who
Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development
Another day without Test-Driven Development means more time wasted chasing bugs and watching your code deteriorate. You thought TDD was for someone else, but it's not! It's for you, the embedded C programmer. TDD helps you prevent defects and build software with a long useful life. This is the
A comprehensive and practical guide to planning enforcement. This book provides a thorough guide helpful to Local Authorities and private sector practitioners on matters ranging from the decision to issue a notice through to proceedings under the Proceeds of Crime Act 2002 as well as dealing with
Strengthen your adult education program planning with this essential guide Planning Programs for Adult Learners: A Practical Guide, 4th Edition is an interactive, practical, and essential guide for anyone involved with planning programs for adult learners. Containing extensive updates, refinements,
FUNCTIONAL ASSESSMENT AND PROGRAM DEVELOPMENT FOR PROBLEM BEHAVIOR: A PRACTICAL HANDBOOK, Third Edition, guides readers through the procedures of conducting a functional assessment, including a variety of strategies for assessing problem behavior situations. The book also presents a systematic
Brain Development and School offers a range of practical classroom strategies to help pupils develop their executive function. Packed with useful tips that are grounded in theory, it examines how to support aspects of children's executive functioning that can affect their school life; including
Written by an experienced teacher and literacy consultant, 'Planning to Teach Writing' offers an easy-to-use, tried-and-tested framework that will reduce teachers planning time while raising standards in writing. Using the circles planning approach, it provides fresh inspiration for teachers who
Prophecy and Archaeology ? Development of Antichrist Typology ? Messianic Prophecies Fulfilled in Christ ? Three Stages of Dispensationalism ? A Survey of the Second Coming ? The Temple of Israel in Islam You'll find all of these topics among the 120 charts in Charts of Bible Prophecy. Dealing with
1. Introduction to Drupal2. Building a Practical Software Development Process and Team3. Engineering Drupal4. Creating Modules for Drupal 85. Drupal 8 Theming 6.Leveraging Your Content7. Optimizing Your Site Architecture8. Integrating Drupal 89. Building a Smart Administration User Interface10
The bestselling guide for school leaders--updated in a new edition Data-driven instruction is the philosophy that schools should focus on two simple questions: how do you know if are students learning? And when they are not, what do you do about it? Driven by Data 2.0 is a practical guide that
Explore the latest Java-based software development techniques and methodologies through the project-based approach in this practical guide. Unlike books that use abstract examples and lots of theory, Real-World Software Development shows you how to develop several relevant projects while learning
This insightful, practical book can be used as a stand-alone guide for families on their language journey, or as an accompaniment to the author's successful seminars for families and schools. Learn from the author's extensive experience of helping and advising families on how to raise their
The S&OP process is normally the core tactical planning process for a business. Our belief is that an effective S&OP process is the key to running an effective supply chain. An effective S&OP process provides the necessary framework for introducing initiatives like Six Sigma and lean manufacturing
Concise yet comprehensive, this practical guide covers the critical role of the account planner in advertising. The new edition of Advertising Account Planning features several new topics as well as deeper content in existing areas based on feedback from students, instructors and
This practical book covers real-world development concerns like state management, data and views, user interaction with forms, and communicating with servers, as well as testing and deploying your applications. This new edition has been fully revised to cover the latest Angular CLI along with
The Second Edition of Practical Program Evaluation shows readers how to systematically identify stakeholders' needs in order to select the evaluation options best suited to meet those needs. Within his discussion of the various evaluation types, Huey T. Chen details a range of evaluation approaches
We know how eager you are to learn practical workplace skills at university so that you are 'job ready' following graduation. In marketing, one of the most practical things you can learn how to do is create a sound marketing plan. This new book guides you concisely through the marketing planning
Health Program Planning and Evaluation, Fifth Edition carefully walks the reader through the process for developing, implementing, and evaluating successful community health promotion programs. Featuring reader-friendly, accessible language and practical tools and concepts, this outstanding
Brain development MILESTONES and learning was motivated by the need for a practical plan of action for parents and caregivers to optimise the most sensitive time of neurological development as well as a practical plan of action for parents and teachers of school going children who, as babies, had
Helping tech-savvy marketers and data analysts solve real-world business problems with Excel Using data-driven business analytics to understand customers and improve results is a great idea in theory, but in today's busy offices, marketers and analysts need simple, low-cost ways to process and make
This comprehensive handbook provides art teachers with practical advice on -planning effective lessons -developing imaginative ideas for teaching art across the age ranges -developing students' creative, technical and critical skills -preparing students for coursework and exams This book is a must