0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (4)
  • R100 - R250 (94)
  • R250 - R500 (331)
  • R500+ (2,293)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs)

uC/OS-III - The Real-Time Kernel (Hardcover): Jean J. Labrosse uC/OS-III - The Real-Time Kernel (Hardcover)
Jean J. Labrosse
R1,809 Discovery Miles 18 090 Ships in 10 - 15 working days

This book puts the spotlight on how a real-time kernel works. Using Micrium's C/OS-III as a reference, the book consists of two complete parts. The first describes real-time kernels in generic terms. Part II provides examples to the reader, using STMicroelectronics' STM32F107 microcontroller, based on the popular ARM Cortex-M3 architecture. A companion evaluation board ***NOT INCLUDED, but available through Micrium*** ( C/Eval-STM32F107), and tools (IAR Systems Embedded Workbench for ARM), enable the reader to be up and running quickly, and have an amazing hands-on experience, leading to a high level of proficiency. This book is written for serious embedded systems programmers, consultants, hobbyists, and students interested in understanding the inner workings of a real-time kernel. C/OS-III is not just a great learning platform, but also a full commercial-grade software package, ready to be part of a wide range of products. C/OS-III is a highly portable, ROMable, scalable, preemptive real-time, multitasking kernel designed specifically to address the demanding requirements of today's embedded systems. C/OS-III is the successor to the highly popular C/OS-II real-time kernel but can use most of C/OS-II's ports with minor modifications. Some of the features of C/OS-III are: Preemptive multitasking with round-robin scheduling of tasks at the same priority Supports an unlimited number of tasks and other kernel objects Rich set of services: semaphores, mutual exclusion semaphores with full priority inheritance, event flags, message queues, timers, fixed-size memory block management, and more Built-in performance measurements About the Author Jean Labrosse founded Micrium in 1999. He is a regular speaker at the Embedded Systems Conference in Boston and Silicon Valley, and other industry conferences. Author of two definitive books on embedded design: MicroC/OS-II, The Real-Time Kernel and Embedded Systems Building Blocks, Complete and Ready-to-Use Modules in C, he holds BSEE and MSEE from the University of Sherbrooke, Quebec, Canada.

OpenVMS with Apache, WASD, and OSU - The Nonstop Webserver (Paperback, Annotated edition): Alan Winston OpenVMS with Apache, WASD, and OSU - The Nonstop Webserver (Paperback, Annotated edition)
Alan Winston
R2,058 Discovery Miles 20 580 Ships in 10 - 15 working days

Whether you're an experienced webmaster new to OpenVMS or an old OpenVMS hand new to webservers, this book will save you time and help you do your job better. The book points out similarities and differences between Unix and VMS, contains a management-friendly explanation of VMS's suitability for 24x7 operation, explains web concepts like authentication and access control models clearly (including honest discussion of drawbacks and weaknesses). Clear examples show how to configure each of the three webservers to accomplish specific goals, and comparisons will help you choose which server to run. If you're using or considering using a VMS webserver, this book is for you.
OpenVMS with Apache, OSU and WASD also discusses specific tasks, such as how to port CGI programs from other operating systems, and gives working examples in PERL, Python, and DCL. One chapter also covers database connectivity for VMS-based CGI programs.
-Use OpenVMS to provide reliable, full-featured web service for your business
-Find information not available anywhere else for OpenVMS, whose unbeatable reliability makes it the web server of choice for institutions that can't afford downtime for their websites
-Learn from numerous examples and step-by-step procedures how to do the same task in different servers

UC/TCP-IP and the STMicroelectronics STM32F107 (Hardcover): Legare Christian UC/TCP-IP and the STMicroelectronics STM32F107 (Hardcover)
Legare Christian
R1,809 Discovery Miles 18 090 Ships in 10 - 15 working days
Linux for Embedded and Real-time Applications (Paperback, 3rd edition): Doug Abbott Linux for Embedded and Real-time Applications (Paperback, 3rd edition)
Doug Abbott
R975 Discovery Miles 9 750 Ships in 10 - 15 working days

This new edition of Linux for Embedded and Real-Time Applications provides a practical introduction to the basics and the latest developments in this rapidly evolving technology. Ideal for those new to using Linux in an embedded environment, it takes a hands-on approach and covers key concepts plus specific applications.

Key features include:

Substantially updated to focus on a specific ARM-based single board computer (SBC) as a target for embedded application programming

Includes an introduction to Android programming

With this book you will learn:

The basics of Open Source, Linux and the embedded space

How to set up a simple system and tool chain

How to use simulation for initial application testing

Network, graphics and Android programming

How to use some of the many Linux components and tools

How to configure and build the Linux kernel, BusyBox and U-Boot bootloader
Provides a hands-on introduction for engineers and software developers who need to get up to speed quickly on embedded Linux, its operation and its capabilities - including AndroidUpdated and changed accompanying tools, with a focus on the author s specially-developed Embedded Linux Learning Kit"

How to Cheat at Designing a Windows Server 2003 Active Directory Infrastructure (Paperback): Melissa M. Meyer, Michael Cross,... How to Cheat at Designing a Windows Server 2003 Active Directory Infrastructure (Paperback)
Melissa M. Meyer, Michael Cross, Hal Kurz, Brian Barber
R1,258 Discovery Miles 12 580 Ships in 10 - 15 working days

Windows 2003 Server is unquestionably the dominant enterprise level operating system in the industry, with 95% of all companies running it. And for the last tow years, over 50% of all product upgrades have been security related. Securing Windows Server, according to bill gates, is the company's #1 priority.
The book will start off by teaching readers to create the conceptual design of their Active Directory infrastructure by gathering and analyzing business and technical requirements. Next, readers will create the logical design for an Active Directory infrastructure. Here the book starts to drill deeper and focus on aspects such as group policy design. Finally, readers will learn to create the physical design for an active directory and network Infrastructure including DNS server placement; DC and GC placements and Flexible Single Master Operations (FSMO) role placement.
The next book in our best selling and critically acclaimed How to Cheat series. This is the perfect book for users who have already purchased How to Cheat at Managing Windows 2003 Small Business Server.
* Active Directory is the market leader in the directory services space, and 57% of all Microsoft corporate customers have deployed AD
* Follows Syngress's proven "How To Cheat" methodology
* Companion Web site offers dozens of templates, "Cheat Sheets," and checklists for readers

Behavioral Modeling for Embedded Systems and Technologies - Applications for Design and Implementation (Hardcover): Luis Gomes,... Behavioral Modeling for Embedded Systems and Technologies - Applications for Design and Implementation (Hardcover)
Luis Gomes, Joao M Fernandes
R4,644 Discovery Miles 46 440 Ships in 18 - 22 working days

The development of embedded systems offers a higher degree of abstraction, crucial to tackling the growing complexity and usage of model-driven approaches. ""Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation"" provides an overview on innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations. This dynamic compilation presents an authoritative reference collection to the most significant models of computation currently in use for embedded systems design.

OpenVMS Alpha Internals and Data Structures - Memory Management (Paperback): Ruth Goldenberg OpenVMS Alpha Internals and Data Structures - Memory Management (Paperback)
Ruth Goldenberg
R3,235 Discovery Miles 32 350 Ships in 10 - 15 working days

OpenVMS Alpha Internals and Data Structures: Memory Management is an update
to selected parts of the book OpenVMS AXP Internals and Data Structures Version 1.5 (Digital Press, 1994). This book covers the extensions to the memory management subsystem of OpenVMS Alpha to allow the operating system and applications to access 64 bits of address space. It emphasizes system data structures and their manipulation by paging and
swapping routines and related system services.
It also describes management of dynamic memory, such as nonpaged pool, and support for nonuniform memory access (NUMA) platforms.
This book is intended for systems programmers, technical consultants, application designers, and other computer progressions interested in learning the details of the OpenVMS executive. Teachers and students of graduate and advanced undergraduate courses in operating systems will find this book a valuable study in how theory and practice are resolved in a complex commercial
operating system.
THE definitive reference describing how the OpenVMS kernel works
Written by a top authority on OpenVMS systems
Covers the latest version of OpenVMS

All About Windows 11 (Paperback): Black Dog Media All About Windows 11 (Paperback)
Black Dog Media
R454 Discovery Miles 4 540 Ships in 9 - 17 working days

All About Windows 11 provides you with a full colour, expertly written independent user insight into Microsoft's Windows 11; their latest update for your desktop and laptop computer. This guide is filled with helpful, step-by-step fully illustrated tutorials, written in plain, easy to follow English. Over the pages of this user guide we will take you through your entire Windows 11 user experience, from getting to grips with all the key features, to discovering a huge array of amazing insider tricks and tips. With this unofficial instruction manual at your side, no problem will be unsolvable and no question will be unanswered. You will discover, learn and master all you need to know about Windows 11 with ease and confidence. FEATURED INSIDE: Navigating the Start Menu Connecting to the Internet How to personalise Windows 11 Web browsing with Edge Using OneDrive Cloud Storage Video chatting with Skype Email, Social Media & Messaging Improving Windows 11 security Wi-fi and Personal wi-fi hotspots Speeding up your computer Troubleshooting & User Advice We are here to help you get the very best from WIndows 11!

CompTIA A+ Certification All-in-One Exam Guide, Eleventh Edition (Exams 220-1101 & 220-1102) (Hardcover, 11th edition): Mike... CompTIA A+ Certification All-in-One Exam Guide, Eleventh Edition (Exams 220-1101 & 220-1102) (Hardcover, 11th edition)
Mike Meyers, Travis Everett, Andrew Hutz
R1,285 Discovery Miles 12 850 Ships in 10 - 15 working days

This bestselling on-the-job reference and test preparation guide has been fully revised for new 2022 exam objectives This fully revised and updated resource offers complete coverage of the latest release of CompTIA A+ exams 220-1101 & 220-1102. You'll find learning objectives at the beginning of each chapter, exam tips, practice exam questions, and in-depth explanations. Designed to help you pass the CompTIA A+ exams with ease, this definitive guide also serves as an essential on-the-job IT reference. Covers all exam topics, including how to: Work with CPUs, RAM, BIOS, motherboards, power supplies, and other personal computer components Install, configure, and maintain hard drives Manage input devices and removable media Set up, upgrade, and maintain Microsoft Windows Troubleshoot and fix computer problems Install printers and other peripherals Configure and secure mobile devices >Connect to the Internet Set up wired and wireless networks Protect your personal computer and your network Implement virtualization and cloud-based technologies Online content includes: Practice exams for 1101 & 1102 with hundreds of questions One hour of video training from Mike Meyers TotalSim simulations of performance-based questions A collection of Mike Meyers' favorite shareware and freeware PC tools and utilities

Computer Programming for Beginners and Cybersecurity - 4 MANUSCRIPTS IN 1: The Ultimate Manual to Learn step by step How to... Computer Programming for Beginners and Cybersecurity - 4 MANUSCRIPTS IN 1: The Ultimate Manual to Learn step by step How to Professionally Code and Protect Your Data. This Book includes: Python, Java, C ++ and Cybersecurity (Hardcover)
Alan Grid
R1,066 Discovery Miles 10 660 Ships in 10 - 15 working days
Operating System Forensics (Paperback): Ric Messier Operating System Forensics (Paperback)
Ric Messier
R1,573 R1,490 Discovery Miles 14 900 Save R83 (5%) Ships in 10 - 15 working days

Operating System Forensics is the first book to cover all three critical operating systems for digital forensic investigations in one comprehensive reference. Users will learn how to conduct successful digital forensic examinations in Windows, Linux, and Mac OS, the methodologies used, key technical concepts, and the tools needed to perform examinations. Mobile operating systems such as Android, iOS, Windows, and Blackberry are also covered, providing everything practitioners need to conduct a forensic investigation of the most commonly used operating systems, including technical details of how each operating system works and how to find artifacts. This book walks you through the critical components of investigation and operating system functionality, including file systems, data recovery, memory forensics, system configuration, Internet access, cloud computing, tracking artifacts, executable layouts, malware, and log files. You'll find coverage of key technical topics like Windows Registry, /etc directory, Web browers caches, Mbox, PST files, GPS data, ELF, and more. Hands-on exercises in each chapter drive home the concepts covered in the book. You'll get everything you need for a successful forensics examination, including incident response tactics and legal requirements. Operating System Forensics is the only place you'll find all this covered in one book.

The Real MCTS/MCITP Exam 70-649 Upgrading Your MCSE on Windows Server 2003 to Windows Server 2008 Prep Kit with CDROM... The Real MCTS/MCITP Exam 70-649 Upgrading Your MCSE on Windows Server 2003 to Windows Server 2008 Prep Kit with CDROM (Paperback)
Brien Posey
R1,030 Discovery Miles 10 300 Ships in 10 - 15 working days

This exam is designed to validate Windows Server 2003 Microsoft Certified Systems Administrators (MCSEs) AD, Network Infrastructure, and Application Platform Technical Specialists skills. The object of this exam is to validate only the skills that are are different from the existing MCSE skills. This exam will fulfill the Windows Server 2008 Technology Specialist requirements of Exams 70-640, 70-642, and 70-643.
The Microsoft Certified Technology Specialist (MCTS) on Windows Server 2008 credential is intended for information technology (IT) professionals who work in the complex computing environment of medium to large companies. The MCTS candidate should have at least one year of experience implementing and administering a network operating system in an environment that has the following characteristics: 250 to 5,000 or more users; three or more physical locations; and three or more domain controllers.
MCTS candidates will manage network services and resources such as messaging, a database, file and print, a proxy server, a firewall, the Internet, an intranet, remote access, and client computer management.
In addition MCTS candidates must understant connectivity requirements such as connecting branch offices and individual users in remote locations to the corporate network and connecting corporate networks to the Internet.
* THE independent source of exam day tips, techniques, and warnings not available from Microsoft
* Comprehensive study guide guarantees 100% coverage of all Microsoft's exam objectives
* Interactive FastTrack e-learning modules help simplify difficult exam topics
* Two full-function ExamDay practice exams guarantee double coverage of all exam objectives
* Free download of audio FastTracks for use with iPods or other MP3 players
* 1000 page "DRILL DOWN" reference for comprehensive topic review

Check Point NGX R65 Security Administration (Paperback): Ralph Bonnell Check Point NGX R65 Security Administration (Paperback)
Ralph Bonnell
R1,218 Discovery Miles 12 180 Ships in 10 - 15 working days

Check Point NGX R65 is the next major release of Check Point's flagship firewall software product, which has over 750,000 registered users. Check Point's NGX is the underlying security software platform for all of the company's enterprise firewall, VPN and management solutions. It enables enterprises of all sizes to reduce the cost and complexity of security management and ensure that their security systems can be easily extended to adapt to new and emerging threats. This title is a continuation of Syngress' best-selling references on Check Point's market leading Firewall and VPN products.
* First book to market covering Check Point's new, flagship NGX R65 Firewall/VPN.
* Provides bonus coverage for Check Point's upcoming NGX R65 Certification exams.
* Companion Web site offers customized scripts for managing log files.

The Real MCTS/MCITP Exam 70-648 Prep Kit - Independent and Complete Self-Paced Solutions (Paperback): Brien Posey The Real MCTS/MCITP Exam 70-648 Prep Kit - Independent and Complete Self-Paced Solutions (Paperback)
Brien Posey
R1,017 Discovery Miles 10 170 Ships in 10 - 15 working days

This exam is designed to validate Windows Server 2003 Microsoft Certified Systems Administrators (MCSAs) AD and Application Platform Technical Specialists skills. The object of this exam is to validate only the skills that are are different from the existing MCSA skills. This exam will fulfill the Windows Server 2008 Technology Specialist requirements of Exams 70-640 and 70-643.
The Microsoft Certified Technology Specialist (MCTS) on Windows Server 2008 credential is intended for information technology (IT) professionals who work in the complex computing environment of medium to large companies. The MCTS candidate should have at least one year of experience implementing and administering a network operating system in an environment that has the following characteristics: 250 to 5,000 or more users; three or more physical locations; and three or more domain controllers.
MCTS candidates will manage network services and resources such as messaging, a database, file and print, a proxy server, a firewall, the Internet, an intranet, remote access, and client computer management.
In addition MCTS candidates must understant connectivity requirements such as connecting branch offices and individual users in remote locations to the corporate network and connecting corporate networks to the Internet.

* THE independent source of exam day tips, techniques, and warnings not available from Microsoft
* Comprehensive study guide guarantees 100% coverage of all Microsoft's exam objectives
* Interactive FastTrack e-learning modules help simplify difficult exam topics
* Two full-function ExamDay practice exams guarantee double coverage of all exam objectives
* Free download of audio FastTracks for use with iPods or other MP3 players
* 1000 page "DRILL DOWN" reference for comprehensive topic review

PowerShell - A Beginner's Guide to Windows PowerShell (Hardcover): Roger Wilson PowerShell - A Beginner's Guide to Windows PowerShell (Hardcover)
Roger Wilson
R558 R512 Discovery Miles 5 120 Save R46 (8%) Ships in 18 - 22 working days
Systems Performance (Paperback, 2nd edition): Brendan Gregg Systems Performance (Paperback, 2nd edition)
Brendan Gregg
R1,325 R1,098 Discovery Miles 10 980 Save R227 (17%) Ships in 5 - 10 working days

Systems Performance, Second Edition, covers concepts, strategy, tools, and tuning for operating systems and applications, using Linux-based operating systems as the primary example. A deep understanding of these tools and techniques is critical for developers today. Implementing the strategies described in this thoroughly revised and updated edition can lead to a better end-user experience and lower costs, especially for cloud computing environments that charge by the OS instance. Systems performance expert and best-selling author Brendan Gregg summarizes relevant operating system, hardware, and application theory to quickly get professionals up to speed even if they have never analyzed performance before. Gregg then provides in-depth explanations of the latest tools and techniques, including extended BPF, and shows how to get the most out of cloud, web, and large-scale enterprise systems. Key topics covered include Hardware, kernel, and application internals, and how they perform Methodologies for rapid performance analysis of complex systems Optimizing CPU, memory, file system, disk, and networking usage Sophisticated profiling and tracing with perf, Ftrace, and BPF (BCC and bpftrace) Performance challenges associated with cloud computing hypervisors Benchmarking more effectively Featuring up-to-date coverage of Linux operating systems and environments, Systems Performance, Second Edition, also addresses issues that apply to any computer system. The book will be a go-to reference for many years to come and, like the first edition, required reading at leading tech companies. Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.

Microsoft Vista for IT Security Professionals (Paperback): Anthony Piltzecker Microsoft Vista for IT Security Professionals (Paperback)
Anthony Piltzecker
R970 R919 Discovery Miles 9 190 Save R51 (5%) Ships in 10 - 15 working days

This book is designed for the professional system administrators who need to securely deploy Microsoft Vista in their networks. Readers will not only learn about the new security features of Vista, but they will learn how to safely integrate Vista with their existing wired and wireless network infrastructure and safely deploy with their existing applications and databases. The book begins with a discussion of Microsoft's Trustworthy Computing Initiative and Vista's development cycle, which was like none other in Microsoft's history. Expert authors will separate the hype from the reality of Vista s preparedness to withstand the 24 x 7 attacks it will face from malicious attackers as the world s #1 desktop operating system. The book has a companion CD which contains hundreds of working scripts and utilities to help administrators secure their environments.
. Microsoft Windows operating systems run more than 90% of the desktop PCs in the world and Vista is the first major Windows release in more than 5 years
. This is currently the only book on Windows Vista Security
. The companion CD contains hundreds of working scripts and utilities to help administrators secure their environments."

Android Tutorials - Herong's Tutorial Examples (Paperback): Herong Yang Android Tutorials - Herong's Tutorial Examples (Paperback)
Herong Yang
R762 Discovery Miles 7 620 Ships in 18 - 22 working days
SIMD Programming Manual for Linux and Windows (Hardcover, 2004 ed.): Paul Cockshott, Kenneth Renfrew SIMD Programming Manual for Linux and Windows (Hardcover, 2004 ed.)
Paul Cockshott, Kenneth Renfrew
R2,946 Discovery Miles 29 460 Ships in 18 - 22 working days

A number of widely used contemporary processors have instruction-set extensions for improved performance in multi-media applications. The aim is to allow operations to proceed on multiple pixels each clock cycle. Such instruction-sets have been incorporated both in specialist DSPchips such as the Texas C62xx (Texas Instruments, 1998) and in general purpose CPU chips like the Intel IA32 (Intel, 2000) or the AMD K6 (Advanced Micro Devices, 1999). These instruction-set extensions are typically based on the Single Instruc tion-stream Multiple Data-stream (SIMD) model in which a single instruction causes the same mathematical operation to be carried out on several operands, or pairs of operands, at the same time. The level or parallelism supported ranges from two floating point operations, at a time on the AMD K6 architecture to 16 byte operations at a time on the Intel P4 architecture. Whereas processor architectures are moving towards greater levels of parallelism, the most widely used programming languages such as C, Java and Delphi are structured around a model of computation in which operations takeplace on a single value at a time. This was appropriate when processors worked this way, but has become an impediment to programmers seeking to make use of the performance offered by multi-media instruction -sets. The introduction of SIMD instruction sets (Peleg et al."

Internetware - A New Software Paradigm for Internet Computing (Hardcover, 1st ed. 2016): Hong Mei, Jian Lu Internetware - A New Software Paradigm for Internet Computing (Hardcover, 1st ed. 2016)
Hong Mei, Jian Lu
R2,830 Discovery Miles 28 300 Ships in 18 - 22 working days

This book presents a comprehensive introduction to Internetware, covering aspects ranging from the fundamental principles and engineering methodologies to operational platforms, quality measurements and assurance and future directions. It also includes guidelines and numerous representative real-world case studies that serve as an invaluable reference resource for software engineers involved in the development of Internetware applications. Providing a detailed analysis of current trends in modern software engineering in the Internet, it offers an essential blueprint and an important contribution to the research on software engineering and systems for future Internet computing.

Intelligent Information Systems and Knowledge Management for Energy - Applications for Decision Support, Usage, and... Intelligent Information Systems and Knowledge Management for Energy - Applications for Decision Support, Usage, and Environmental Protection (Hardcover, New)
Kostas Metaxiotis
R4,652 Discovery Miles 46 520 Ships in 18 - 22 working days

More than ever before, energy is becoming one of the most crucial concerns in economical and industrial development. ""Intelligent Information Systems and Knowledge Management for Energy: Applications for Decision Support, Usage, and Environmental Protection"" provides in-depth analysis of the need for a holistic approach for the construction and engineering of cities and societies. This defining body of research examines key issues and approaches for energy use and provides future direction of development as well.

OpenVMS System Management Guide (Paperback, 2nd edition): Lawrence Baldwin, Steve Hoffman, David Miller OpenVMS System Management Guide (Paperback, 2nd edition)
Lawrence Baldwin, Steve Hoffman, David Miller
R2,498 Discovery Miles 24 980 Ships in 10 - 15 working days

OpenVMS System Management Guide, Second Edition, the most complete book on the topic, details for system administrators the tools, technologies, and techniques by which they can configure, maintain, and tune computers running Hewlett-Packard's high-performance OpenVMS operating system. Revised by a topical authority and a principal OpenVMS engineer, the book enables system administrators to perform more efficiently and effectively those everyday tasks critical to an OpenVMS system. Examples have been updated to include OpenVMS/VAX 7.3 and OpenVMS/Alpha 7.3-1.
.OpenVMS administration best practices and utilities
.System management strategies that support business objectives
.Updated references to latest HP documents and other WWW resources
.New chapter summarizing software installation
.New appendix to help the hobbyist get started"

Ubuntu Linux - Learn administration, networking, and development skills with the #1 Linux distribution! (Paperback): Nick... Ubuntu Linux - Learn administration, networking, and development skills with the #1 Linux distribution! (Paperback)
Nick Germaine; Edited by Michel Gerard; Joseph Delgadillo
R559 Discovery Miles 5 590 Ships in 18 - 22 working days
Topology in Process Calculus - Approximate Correctness and Infinite Evolution of Concurrent Programs (Hardcover, 2001 ed.):... Topology in Process Calculus - Approximate Correctness and Infinite Evolution of Concurrent Programs (Hardcover, 2001 ed.)
Mingsheng Ying
R1,527 Discovery Miles 15 270 Ships in 18 - 22 working days

Process calculi are among the most successful models of concurrent systems. Various behavior equivalences between processes are central notions in CCS (calculus of communicating systems) and other process calculi. In the real applications, specification and implementation are described as two processes, and correctness of programs is treated as a certain behavior equivalence between them. The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. This book is restricted to CCS for simplicity, but the main idea also applies to some other process calculi. The concept of bisimulation limits, useful for the understanding and analysis of infinite evolution of processes, is introduced. In addition, the notions of near bisimulations and bisimulation indexes, suitable in describing approximate correctness of concurrent programs, are proposed. The book will be of particular interest to researchers in the fields of theoretical computer science, especially theory of concurrency and hybrid systems, and graduate students in related disciplines. It will also be valuable to practical system designers developing concurrent and/or real-time systems.

SSH Mastery - OpenSSH, PuTTY, Tunnels and Keys (Hardcover, 2nd ed.): Michael W Lucas SSH Mastery - OpenSSH, PuTTY, Tunnels and Keys (Hardcover, 2nd ed.)
Michael W Lucas
R892 R810 Discovery Miles 8 100 Save R82 (9%) Ships in 18 - 22 working days
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Three-Dimensional Elasticity, Volume 20
Philippe G. Ciarlet Paperback R1,367 Discovery Miles 13 670
Exploring Quantum Mechanics - A…
Victor Galitski, Boris Karnakov, … Hardcover R6,101 Discovery Miles 61 010
Symmetry and Collective Fluctuations in…
Smith Paperback R764 Discovery Miles 7 640
Modern Computational Aeroelasticity
Min Xu, Xiaomin An, … Hardcover R4,162 Discovery Miles 41 620
Infinite Words, Volume 141 - Automata…
Dominique Perrin, Jean-Eric Pin Hardcover R4,065 Discovery Miles 40 650
Advanced General Relativity - Gravity…
Claude Barrabes, Peter A. Hogan Hardcover R3,428 Discovery Miles 34 280
Lattice Boltzmann Method - Fundamentals…
A. A. Mohamad Hardcover R4,957 Discovery Miles 49 570
Rigid Body Dynamics
Alexey Borisov, Ivan S. Mamaev Hardcover R4,363 Discovery Miles 43 630
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,940 Discovery Miles 39 400
Elementary Mechanics Using Python - A…
Anders Malthe-Sorenssen Hardcover R1,608 Discovery Miles 16 080

 

Partners