ilość książek w kategorii: 10527
Axiomatic Domain Theory in Categories of Partial Maps
ISBN: 9780521602778 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (i.e. abstract) setting. In particular, the author develops theories of partiality and recursive types and applies them to the study of the metalanguage FPC; for example, enriched categorical models of the FPC are defined. Furthermore, FPC is considered as a programming language with a call-by-value operational...
Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic a...
|
|
cena:
249,45 zł |
Applications of Process Algebra
ISBN: 9780521607506 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term ?algebra? is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics...
This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communi...
|
|
cena:
576,96 zł |
Action Semantics
ISBN: 9780521619332 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics, and provides substantial illustrations of its use. Graduates of computer science or maths who have...
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of...
|
|
cena:
348,21 zł |
Component-Based Software Engineering
ISBN: 9780521648219 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book includes coverage of the most important and current topics in Componentware(R) technology, based in large part on the first Component Users Conference. It addresses such issues as componentware platforms, component design and architecture, distributed object computing, componentware languages, patterns and frameworks, interoperability, and debugging and testing.
This book includes coverage of the most important and current topics in Componentware(R) technology, based in large part on the first Component Users ...
|
|
cena:
322,56 zł |
Component-Based Development for Enterprise Systems
ISBN: 9780521649995 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This ground-breaking book distills the experience of the authors in dealing with problems in industry that can be solved by using the SELECT Perspective. A pragmatic, component-based approach for the development of enterprise systems, the SELECT Perspective comprises a unique blend of techniques, architecture, and process. Enterprise software development presents challenges of sheer scale and complexity that continue to accelerate at a terrific pace. Businesses are becoming increasingly adaptive and are calling for software that is more and more flexible. Component technology holds the...
This ground-breaking book distills the experience of the authors in dealing with problems in industry that can be solved by using the SELECT Perspecti...
|
|
cena:
292,91 zł |
Open Source
ISBN: 9780521707411 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The open source movement is a worldwide effort to promote an open style of software development more aligned with the accepted intellectual style of science than the proprietary modes of invention that have been characteristic of modern business. The idea is to keep the scientific advances created by software development openly available for everyone to use, understand, and improve. The very process of open source creation is highly transparent. This book addresses prominent projects in the open source movement, along with its enabling technologies, social characteristics, legal issues,...
The open source movement is a worldwide effort to promote an open style of software development more aligned with the accepted intellectual style of s...
|
|
cena:
228,66 zł |
Foundations of Component-Based Systems
ISBN: 9780521771641 / Angielski / Twarda / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This collection of top-notch articles by well-known experts brings together, for the first time, key elements of this area that are fast becoming the focus of much current research and practice in computing. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest comprise case studies by architects of prototype systems who present findings on architectures verification. The emphasis is on advances in the technological infrastructure of component-based systems; how to design and specify reusable components; and how to reason about, verify, and...
This collection of top-notch articles by well-known experts brings together, for the first time, key elements of this area that are fast becoming the ...
|
|
cena:
550,98 zł |
The Road to the Unified Software Development Process
ISBN: 9780521787741 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ivar Jacobson is one of the most important figures in the software development industry. Together with his colleagues Grady Booch and James Rumbaugh, he has been pivotal to the creation of the Unified Modeling Language and Rational's Unified Software Development Process. In this book, Stefan Bylund has collected and revised Ivar Jacobson's articles from Object Magazine, JOOP, ROAD, and Component Strategies. It not only presents his most influential work, but also tracks the development of the Unified Software Development Process. An excellent reference for software professionals interested in...
Ivar Jacobson is one of the most important figures in the software development industry. Together with his colleagues Grady Booch and James Rumbaugh, ...
|
|
cena:
307,73 zł |
Design Patterns in Communications Software
ISBN: 9780521790406 / Angielski / Twarda / 562 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This definitive compendium of design patterns in communication software, gathered together by Linda Rising, includes contributions by James O. Coplien, Douglas C. Schmidt, Robert Hanmer, Greg Utas, Just van den Broecke, Don Olson, Carlos O'Ryan, Christopher D. Gill, and other experts from the patterns field. Engineers and other professionals working in the field of communications software development will find this unique reference extremely useful.
This definitive compendium of design patterns in communication software, gathered together by Linda Rising, includes contributions by James O. Coplien...
|
|
cena:
495,55 zł |
Specifying Software: A Hands-On Introduction
ISBN: 9780521808149 / Angielski / Twarda / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This innovative volume provides a hands-on introduction to techniques for specifying the behavior of software components. A text for a second-year undergraduate course in Computer Science and Computer Engineering programs, it is also suitable for self-study. This book will help students to improve their programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The main topics covered are techniques for using programmer-friendly assertional...
This innovative volume provides a hands-on introduction to techniques for specifying the behavior of software components. A text for a second-year und...
|
|
cena:
376,93 zł |
Memory as a Programming Concept in C and C++
ISBN: 9780521817202 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Assuming readers have a basic familiarity with C or C++, Frantisek Franek describes the techniques, methods and tools available to develop effective memory usage. The overwhelming majority of "bugs" and crashes in computer programming stem from problems of memory access, allocation, or deallocation. Such memory related errors are notoriously difficult to resolve. Moreover, the role that memory plays in C and C++ programming is a subject often overlooked in courses and in books. Most professional programmers learn about it entirely through actual experience of the problems it causes.
Assuming readers have a basic familiarity with C or C++, Frantisek Franek describes the techniques, methods and tools available to develop effective m...
|
|
cena:
701,72 zł |
Mobile Computing Principles: Designing and Developing Mobile Applications with UML and XML
ISBN: 9780521817332 / Angielski / Twarda / 878 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Written to address the technical concerns faced by mobile developers, this book explores the differences between mobile and stationary applications and the architectural and software development concepts needed to build mobile applications. Reza B'Far guides the developer through the development process, using UML from design to implementation. He focuses on general concepts, while using platforms as examples or as possible tools. After introducing UML, XML, and the derivative tools necessary for developing mobile software applications, B'Far demonstrates how to build user interfaces for...
Written to address the technical concerns faced by mobile developers, this book explores the differences between mobile and stationary applications an...
|
|
cena:
485,66 zł |
A Distributed Pi-Calculus
ISBN: 9780521873307 / Angielski / Twarda / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behavior of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behavior of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this...
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in orde...
|
|
cena:
342,33 zł |
Reactive Systems: Modelling, Specification and Verification
ISBN: 9780521875462 / Angielski / Twarda / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner s CCS and its operational semantics are introduced,...
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various meth...
|
|
cena:
406,58 zł |
Open Source
ISBN: 9780521881036 / Angielski / Twarda / 369 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The open source movement is a worldwide effort to promote an open style of software development more aligned with the accepted intellectual style of science than the proprietary modes of invention that have been characteristic of modern business. The idea is to keep the scientific advances created by software development openly available for everyone to use, understand, and improve. The very process of open source creation is highly transparent. This book addresses prominent projects in the open source movement, along with its enabling technologies, social characteristics, legal issues,...
The open source movement is a worldwide effort to promote an open style of software development more aligned with the accepted intellectual style of s...
|
|
cena:
347,28 zł |
Web Database Applications with PHP and MySQL
ISBN: 9780596005436 / Angielski / Miękka / 796 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There are many reasons for serving up dynamic content from a web site: to offer an online shopping site, create customized information pages for users, or just manage a large volume of content through a database. Anyone with a modest knowledge of HTML and web site management can learn to create dynamic content through the PHP programming language and the MySQL database. This book gives you the background and tools to do the job safely and reliably.Web Database Applications with PHP and MySQL, Second Edition thoroughly reflects the needs of real-world applications. It goes into... There are many reasons for serving up dynamic content from a web site: to offer an online shopping site, create customized information pages for us... |
|
cena:
218,36 zł |
Managing Projects with GNU Make
ISBN: 9780596006105 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The utility simply known as make is one of the most enduring features of both Unix and other operating systems. First invented in the 1970s, make still turns up to this day as the central engine in most programming projects; it even builds the Linux kernel. In the third edition of the classic Managing Projects with GNU make, readers will learn why this utility continues to hold its top position in project build software, despite many younger competitors.The premise behind make is simple: after you change source files and want to rebuild your program or other... The utility simply known as make is one of the most enduring features of both Unix and other operating systems. First invented in the 1970s,... |
|
cena:
196,52 zł |
JUnit Pocket Guide
ISBN: 9780596007430 / Angielski / Miękka / 92 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. JUnit, created by Kent Beck and Erich Gamma, is an open source framework for test-driven development in any Java-based code. JUnit automates unit testing and reduces the effort required to frequently test code while developing it. While there are lots of bits of documentation all over the place, there isn't a go-to-manual that serves as a quick reference for JUnit. This Pocket Guide meets the need, bringing together all the bits of hard to remember information, syntax, and rules for working with JUnit, as well as delivering the insight and sage advice that can only come from a... JUnit, created by Kent Beck and Erich Gamma, is an open source framework for test-driven development in any Java-based code. JUnit automates unit t... |
|
cena:
43,46 zł |
Producing Open Source Software: How to Run a Successful Free Software Project
ISBN: 9780596007591 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The corporate market is now embracing free, "open source" software like never before, as evidenced by the recent success of the technologies underlying LAMP (Linux, Apache, MySQL, and PHP). Each is the result of a publicly collaborative process among numerous developers who volunteer their time and energy to create better software. The truth is, however, that the overwhelming majority of free software projects fail. To help you beat the odds, O'Reilly has put together Producing Open Source Software, a guide that recommends tried and true steps to help free software developers... The corporate market is now embracing free, "open source" software like never before, as evidenced by the recent success of the technologies underl... |
|
cena:
108,98 zł |
UML 2.0 in a Nutshell: A Desktop Quick Reference
ISBN: 9780596007959 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. System developers have used modeling languages for decades to specify, visualize, construct, and document systems. The Unified Modeling Language (UML) is one of those languages. UML makes it possible for team members to collaborate by providing a common language that applies to a multitude of different systems. Essentially, it enables you to communicate solutions in a consistent, tool-supported language. Today, UML has become the standard method for modeling software systems, which means you're probably confronting this rich and expressive language more than ever before. And even... System developers have used modeling languages for decades to specify, visualize, construct, and document systems. The Unified Modeling Language (U... |
|
cena:
174,68 zł |