Software Abstractions, Revised Edition: Logic, Language, and Analysis (Jackson Daniel)(Paperback)

Software Abstractions, Revised Edition: Logic, Language, and Analysis (Jackson Daniel)(Paperback)

An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language. In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but

Essential Logic for Computer Science (Page Rex)(Pevná vazba)

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.Computer scientists use logic for testing and verification of software and digital circuits, but many computer science students study logic only

Business Analysis Agility: Delivering Value, Not Just Software (Robertson James)(Paperback)

Understand and Solve Your Customers' Real Problems with Agile Business Analysis To deliver real value, you must understand what your customers truly value, and solve the problems they really need solved. Business analysis can help you do this--and it's as crucial in agile environments now as it

Agile Software Development, Principles, Patterns, and Practices: Pearson New International Edition (Martin Robert)(Paperback / softback)

Software Engineering, Global Edition (Sommerville Ian)(Paperback / softback)

Understand the fundamental practices of modern software engineering. Software Engineering, 10th Edition, Global Edition, by Ian Sommerville, provides you with a solid introduction to the crucial subject of software programming and development. As computer systems have come to dominate our technical

Object-Oriented Software Engineering Using UML, Patterns, and Java: Pearson New International Edition (Bruegge Bernd)(Paperback / softback)

Software Project Management (Hughes Bob)(Paperback)

Software project management is a crucial element in successful software and IT development, and requires students to develop an understanding of technical methodology and an appreciation of the many human factors that can play a part in software projects. This title helps students to grasp these

Software Requirements (Wiegers Karl)(Paperback)

Now in its third edition, this classic guide to software requirements engineering has been fully updated with new topics, examples, and guidance. Two leaders in the requirements community have teamed up to deliver a contemporary set of practices covering the full range of requirements development

Programming in Lua, fourth edition (Ierusalimschy Roberto)(Paperback)

Lua is spreading more and more throughout different areas of software, from embedded systems and mobile devices to the Web and the Internet of Things. Besides, it has a major role in the game industry, where knowledge of Lua has become an indisputable asset. Lua is the language of choice for anyone

Secure by Design (Deogun Daniel)(Paperback)

Summary Secure by Design teaches developers how to use design to drive security in software development. This book is full of patterns, best practices, and mindsets that you can directly apply to your real world development. You'll also learn to spot weaknesses in legacy code and how to address

Timeless Laws of Software Development (Kohnke Jennifer)(Paperback)

Quality software requires more than good intentions and wishful thinking. Written by a software expert with 40+ years of hands-on experience, this book clearly explains the laws and practices that improve software quality and productivity. No matter what your role or experience level, Timeless Laws

Software Defined Networks: A Comprehensive Approach (Goransson Paul)(Paperback)

Software Defined Networks: A Comprehensive Approach, Second Edition provides in-depth coverage of the technologies collectively known as Software Defined Networking (SDN). The book shows how to explain to business decision-makers the benefits and risks in shifting parts of a network to the SDN

Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering (Heckel Reiko)(Pevná vazba)

Computer Organization and Design MIPS Edition: The Hardware/Software Interface (Patterson David A.)(Paperback)

Modern computer technology requires professionals of every computing specialty to understand both hardware and software. The interaction between hardware and software at a variety of levels offers a framework for understanding the concepts that are the basis for current computers. Computer

Crafting Interpreters (Nystrom Robert)(Paperback)

Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying 'compilers'class that they suffered through in undergrad and tried to blot from their

Software Takes Command (Manovich Lev)(Paperback)

Software has replaced a diverse array of physical, mechanical, and electronic technologies used before 21st century to create, store, distribute and interact with cultural artifacts. It has become our interface to the world, to others, to our memory and our imagination - a universal language

Software Development in Practice (Fishpool Bernie)(Paperback)

Software development is becoming recognised more and more as an essential skill and profession in today's increasingly digital world. This book is a pragmatic guide to software development in practice. It explores the inner workings of software development in the context of the industry, covering

The Software Craftsman: Professionalism, Pragmatism, Pride (Mancuso Sandro)(Paperback)

Be a Better Developer and Deliver Better Code Despite advanced tools and methodologies, software projects continue to fail. Why? Too many organizations still view software development as just another production line. Too many developers feel that way, too--and they behave accordingly. In The

Invisible Engines: How Software Platforms Drive Innovation and Transform Industries (Evans David S.)(Paperback)

Microservices and Containers (Kocher Parminder)(Paperback)

Transition to Microservices and DevOps to Transform Your Software Development Effectiveness Thanks to the tech sector's latest game-changing innovations--the Internet of Things (IoT), software-enabled networking, and software as a service (SaaS), to name a few--there is now a seemingly insatiable

The Everlasting Man (Chesterton G. K.)(Paperback)

2014 Reprint of Original 1925 edition. Not reproduced with Optical Recognition Software. 'The Everlasting Man' is a work of Christian apologetics first published in 1925. Chesterton intended it to some extent as a deliberate rebuttal to H. G. Wells' 'The Outline of History', disputing Wells'

ERLANG Programming: A Concurrent Approach to Software Development (Cesarini Francesco)(Paperback)

This book is an in-depth introduction to Erlang, a programming language ideal for any situation where concurrency, fault tolerance, and fast response is essential. Erlang is gaining widespread adoption with the advent of multi-core processors and their new scalable approach to concurrency. With

Learning UML 2.0: A Pragmatic Introduction to UML (Miles Russ)(Paperback)

'Since its original introduction in 1997, the Unified Modeling Language has revolutionized software development. Every integrated software development environment in the world--open-source, standards-based, and proprietary--now supports UML and, more importantly, the model-driven approach to

Software Telemetry: Reliable Logging and Monitoring (Riedesel Jamie)(Paperback)

Software Telemetry takes a big picture view of telemetry, teaching you to manage your logging, metrics, and events as a complete end-to-end ecosystem. Complex systems can become black boxes. Telemetry provides feedback on what's happening inside. Telemetry systems are built for gathering,