Test Driven Development for Embedded C, Grenning James W.
Автор: Wellin Название: Programming with Mathematica ® ISBN: 1107009464 ISBN-13(EAN): 9781107009462 Издательство: Cambridge Academ Рейтинг: Цена: 11880.00 р. Наличие на складе: Поставка под заказ.
Описание: Starting from first principles, this book covers all of the foundational material needed to develop a clear understanding of the Mathematica language, with a practical emphasis on solving problems. Concrete examples throughout the text demonstrate how Mathematica can be used to solve problems in science, engineering, economics/finance, computational linguistics, geoscience, bioinformatics, and a range of other fields. The book will appeal to students, researchers and programmers wishing to further their understanding of Mathematica. Designed to suit users of any ability, it assumes no formal knowledge of programming so it is ideal for self-study. Over 290 exercises are provided to challenge the reader's understanding of the material covered and these provide ample opportunity to practice using the language. Mathematica notebooks containing examples, programs and solutions to exercises are available from www.cambridge.org/wellin.
Автор: Claus Lewerentz; Thomas Lindner Название: Formal Development of Reactive Systems ISBN: 3540588671 ISBN-13(EAN): 9783540588672 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A systematic comparison of 18 different approaches to the control of a production cell. By analyzing the benefits and explaining the limitations of each formal method, the text provides guidance on the application of appropriate techniques that put formal methods into industrial use.
Автор: Didier Bert; Christine Choppy; Peter Mosses Название: Recent Trends in Algebraic Development Techniques ISBN: 3540678980 ISBN-13(EAN): 9783540678984 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers address: algebraic specification and other specification formalisms; test and validation; concurrent processes applications; logic and validation; combining formalisms; subsorts and partiality; structuring; rewriting; co-algebras and sketches; refinement; and other topics.
Автор: Wayne Hillel Название: Practical Tla+: Planning Driven Development ISBN: 1484238281 ISBN-13(EAN): 9781484238288 Издательство: Springer Рейтинг: Цена: 6288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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 of practical problems: from algorithm performance and data structures to business code and MapReduce. After reading and using this book, you'll have what you need to get started with TLA+ and how to use it in your mission-critical applications.
What You'll Learn
Read and write TLA+ specsCheck specs for broken invariants, race conditions, and liveness bugsDesign concurrency and distributed systemsLearn how TLA+ can help you with your day-to-day production work
Who This Book Is For
Those with programming experience who are new to design and to TLA+.
Автор: Langr Jeff Название: Modern C++ Programming with Test-Driven Development ISBN: 1937785483 ISBN-13(EAN): 9781937785482 Издательство: Wiley Рейтинг: Цена: 5067.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Modern C++ Programming With Test-Driven Development, the only comprehensive treatment on TDD in C++ provides you with everything you need to know about TDD, and the challenges and benefits of implementing it in your C++ systems.
Автор: Bala Paranj Название: Test Driven Development in Ruby ISBN: 1484226372 ISBN-13(EAN): 9781484226377 Издательство: Springer Рейтинг: Цена: 5309.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 1. The Basics2. Katas3. Techniques in TDD4. Importance of Test Cases5. Character to Number Conversion6. Conway's Game of Life7. Gilded Rose8. Dealing with Third Party APIs9. Pair Ranking
Автор: Rob Tiffany Название: Pocket PC Database Development with eMbedded Visual Basic ISBN: 1893115658 ISBN-13(EAN): 9781893115651 Издательство: Springer Рейтинг: Цена: 4191.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Pocket PC Database Development with eMbedded Visual Basic is designed to get software developers up to speed building Pocket Access database applications using eMbedded Visual Basic on the Pocket PC.
Автор: Kai Qian; David Den Haring; Li Cao Название: Embedded Software Development with C ISBN: 1489984992 ISBN-13(EAN): 9781489984999 Издательство: Springer Рейтинг: Цена: 9776.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers hardware and software aspects of embedded systems development. It details the fundamentals of embedded systems design and development with an emphasis on software and explores the 8051 microcontroller as it pertains to embedded systems.
Автор: Mars Geldard, Jonathon Manning Название: Practical Artificial Intelligence with Swift ISBN: 1492044814 ISBN-13(EAN): 9781492044819 Издательство: Wiley Рейтинг: Цена: 7602.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Create and implement AI-based features in your Swift apps for iOS, macOS, tvOS, and watchOS. With this practical book, programmers and developers of all kinds will find a one-stop shop for AI and machine learning with Swift.
Описание: Your customers want rock-solid, bug-free software that does exactly what they expect it to do. Yet they can`t always articulate their ideas clearly enough for you to turn them into code. You need Cucumber: a testing, communication, and requirements tool-all rolled into one.
Автор: Haney, Stephen Название: Swift 3 game development - ISBN: 1787127753 ISBN-13(EAN): 9781787127753 Издательство: Неизвестно Цена: 8091.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Embrace the mobile gaming revolution by creating popular iOS games with Swift 3.0About This Book* Create and design games for iPhone and iPad using SpriteKit and Swift 3.0* Learn the core fundamentals of SpriteKit game development and mix and match techniques to customize your game* This step-by-step practical guide will teach you to build games from scratch using little-known tips and strategies for maximum funWho This Book Is ForIf you wish to create and publish fun iOS games using Swift, then this book is for you. You should be familiar with basic programming concepts. However, no prior game development or Apple ecosystem experience is required.
What You Will Learn* Deliver powerful graphics, physics, and sound in your game by using SpriteKit* Set up the scene using the new capabilities of the scene editor and custom classes* Maximize gameplay with little-known tips and strategies for fun and repeatable action* Make use of animations, graphics, and particles to polish your game* Understand the current mobile monetization landscape to choose the best option for your own situation* Integrate your game with Game Center so that your players can share their high scores and achievements* Publish your game to the App Store and enjoy people playing your gamesIn DetailSwift is the perfect choice for game development. Developers are intrigued by Swift 3.0 and want to make use of new features to develop their best games yet. Packed with best practices and easy-to-use examples, this book leads you step by step through the development of your first Swift game.
This book starts by introducing SpriteKit and Swift's new features that can be used for game development. After setting up your first Swift project, you will build your first custom class, learn how to draw and animate your game, and add physics simulations. Then, you will add the player character, NPCs, and powerups.
To make your game more fun and engaging, you will learn how to set up scenes and backgrounds, build fun menus, and integrate with Apple Game Center to add leaderboards and achievements. You will then make your game stand out by adding animations when game objects collide, and incorporate proven techniques such as the advanced particle system and graphics. Finally, you will explore the various options available to start down the path towards monetization and publish your finished games to the App Store.
By the end of this book, you will be able to create your own iOS games using Swift and SpriteKit. Style and approachThis project-based guide is engaging with a visually-rich approach rather than a text-heavy approach. With every chapter containing practical examples, you will understand how Swift programming works and make the most of the new features in version 3.0.
Автор: Roine, Jussi Jaaskelainen, Olli Название: Sharepoint development with the sharepoint framework ISBN: 1787121437 ISBN-13(EAN): 9781787121430 Издательство: Неизвестно Цена: 9010.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Design and create beautiful solutions using modern development tools for SharePoint Online About This Book - Get the best out of the latest Sharepoint Framework and leverage the Sharepoint RESTful and JSOM APIs. - Develop efficient client side applications with JavaScript injection and Sharepoint Addins. - Get the best tips and tricks on designing your website flawlessly. Who This Book Is For This book targets current SharePoint developers, as well as people starting their journey on SharePoint development. The reader must have basic web development programming knowledge, including JavaScript and CSS. The reader should have familiarity using and managing SharePoint-based collaboration sites. What You Will Learn - Understand what the SharePoint Framework is - Create modern solutions using the new tools, approaches and frameworks - Learn how to use Visual Studio Code for effective SharePoint development - Package and deploy your code, using automation as needed - Work with content and data stored in SharePoint - Benefit from third party frameworks without having to build your own frameworks - Debug and troubleshoot your code with ease - Configure security in your application In Detail SharePoint is one of Microsoft's best known web platforms. A loyal audience of developers, IT Pros and power users use it to build line of business solutions. The SharePoint Framework (SPFx) is a great new option for developing SharePoint solutions. Many developers are creating full-trust based solutions or add-in solutions, while also figuring out where and how SPFx fits in the big picture. This book shows you how design, build, deploy and manage SPFx based solutions for SharePoint Online and SharePoint 2016. The book starts by getting you familiar with the basic capabilities of SPFx. After that, we will walk through the tool-chain on how to best create production-ready solutions that can be easily deployed manually or fully automated throughout your target Office 365 tenants. We describe how to configure and use Visual Studio Code, the de facto development environment for SPFx-based solutions. Next, we provide guidance and a solid approach to packaging and deploying your code. We also present a straightforward approach to troubleshooting and debugging your code an environment where business applications run on the client side instead of the server side. Style and approach The approach will be that of a practical tutorial which will take you through every topic using code samples and working examples.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
