» książki » Computers - Software Development & Engineering - General
topmenu
Kategoria BISAC: Computers >> Software Development & Engineering - General
ilość książek w kategorii: 10527
 |
Trustworthy Systems Through Quantitative Software Engineering
ISBN: 9780471696919 / Angielski / Twarda / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A benchmark text on software development and quantitative software engineering
"We all trust software. All too frequently, this trust is misplaced. Larry Bernstein has created and applied quantitative techniques to develop trustworthy software systems. He and C. M. Yuhas have organized this quantitative experience into a book of great value to make software trustworthy for all of us." -Barry Boehm Trustworthy Systems Through Quantitative Software Engineering proposes a novel, reliability-driven software engineering approach, and discusses human factors in... A benchmark text on software development and quantitative software engineering
"We all trust software. All too frequently, this trust is ... |
cena:
768,54 zł |
 |
Python for Dummies
ISBN: 9780471778646 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Python is one of the most powerful, easy-to-read programming languages around, but it does have its limitations. This general purpose, high-level language that can be extended and embedded is a smart option for many programming problems, but a poor solution to others.
Python For Dummies is the quick-and-easy guide to getting the most out of this robust program. This hands-on book will show you everything you need to know about building programs, debugging code, and simplifying development, as well as defining what actions it can perform. You'll wrap yourself around all of its... Python is one of the most powerful, easy-to-read programming languages around, but it does have its limitations. This general purpose, high-level lang...
|
cena:
152,84 zł |
 |
Geometric Programming for Computer Aided Design
ISBN: 9780471899426 / Angielski / Twarda / 800 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Geometric Programming is currently of interest in CAD (Computer Aided Design) and related areas such as computer graphics, modeling and animation, scientific simulation and robotics. A growing interest towards gemotric programming is forecast in the next few years with respect to market specific CAD applications (e.g. for architecture and mechanical CAD) and web-based collaborative design environments.
PLaSM is a general purpose functional language to compute with geometry which the authors use throughout their text. The PLaSM language output produces VRML (Virtual Reality Modelling... Geometric Programming is currently of interest in CAD (Computer Aided Design) and related areas such as computer graphics, modeling and animation, sci...
|
cena:
702,64 zł |
 |
Z: An Introduction to Formal Methods
ISBN: 9780471939733 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Now that formal methods are seen as a necessary and beneficial theoretical tool for systems designers and programmers, this book offers a thorough and comprehensive tutorial introduction to Z taking as its starting point the practical use of this formal specification language. Case studies are used to illustrate all aspects of Z and are introduced early on in order to motivate the mathematical notations that have to be covered. Standard notation is used throughout. Many proofs are included and they are presented using the commonest format for natural deduction proofs. With exercises given and...
Now that formal methods are seen as a necessary and beneficial theoretical tool for systems designers and programmers, this book offers a thorough and...
|
cena:
323,73 zł |
 |
Practical Risk Assessment for Project Management
ISBN: 9780471939795 / Angielski / Twarda / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the estimating, planning and management of any project, large or small, an understanding of the impact of risk is critical. This book explains how the growing number of people choosing to or forced to organise their work as projects can make realistic assessments of the uncertainty affecting costs, timescale and revenue, before commitments are made. A clear analysis of the role of uncertainty is combined in this concise and practical handbook with simple, cost-effective techniques for measuring and modelling the overall risk to a project's budget and schedule. There is advice and help here...
In the estimating, planning and management of any project, large or small, an understanding of the impact of risk is critical. This book explains how ...
|
cena:
323,73 zł |
 |
Managing Software Quality and Business Risk
ISBN: 9780471997825 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. How to manage quality up, and risk down. This invaluable guide to project planning and strategic decision making for software developers presents practical and realistic planning techniques to increase chances of a project delivering to time and budget. Offering clear explanations and real-world experiences, the key components of technical management are laid out as templates and checklists to assist managers with their project development. With thirty years of experience in software development, Martyn Ould provides:
* Proven strategies for a disciplined approach to project... How to manage quality up, and risk down. This invaluable guide to project planning and strategic decision making for software developers presents prac...
|
cena:
521,42 zł |
 |
Specifying Software: A Hands-On Introduction
ISBN: 9780521004015 / Angielski / Miękka / 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:
203,94 zł |
 |
Practical WAP: Developing Applications for the Wireless Web
ISBN: 9780521005616 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is an intermediate-level guide to building WAP applications. The Wireless Application Protocol (WAP) provides the technological framework for combining mobile communications with Internet technologies. WAP opens up the Web to a vastly expanded audience, allowing new types of applications to take advantage of user location, provide time-critical information, and offer personalized content. This book details the WAP Forum, mobile devices, and what makes a good WAP application. Using real world examples, this book examines the WAP standards, focusing on those essential to building working...
This is an intermediate-level guide to building WAP applications. The Wireless Application Protocol (WAP) provides the technological framework for com...
|
cena:
208,89 zł |
 |
Java Outside in Paperback
ISBN: 9780521010870 / Angielski / Mixed media product / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book and CD set treats learning a programming language much like learning a spoken language: programming is best learned by immersion. Through building interesting programs and addressing real design issues much earlier than other texts, this book moves beyond the placement of semicolons and other syntactic details and is able to discuss the architecture of serious programs: how delegation and inheritance allow objects to cooperate to do useful work. Throughout the text, the authors deal with programs that implement applications realistic enough to be convincing.
This book and CD set treats learning a programming language much like learning a spoken language: programming is best learned by immersion. Through bu...
|
cena:
248,43 zł |
 |
Programs, Recursion and Unbounded Choice
ISBN: 9780521018296 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction, and unbounded nondeterminacy. The author develops their theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming methodology. He gives proofs of the programming rules for partial and total correctness of...
Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is...
|
cena:
291,03 zł |
 |
Foundations of Parallel Programming
ISBN: 9780521018562 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Using parallel machines is difficult because of their inherent complexity and because their architecture changes frequently. This book presents an integrated approach to developing software for parallel machines that addresses software issues and performance issues together. The author describes a methodology for software construction that is architecture-independent and intellectually abstract. The software can execute efficiently on a range of existing and potential hardware configurations. The approach is based on the construction of categorical data types, a generalization of abstract...
Using parallel machines is difficult because of their inherent complexity and because their architecture changes frequently. This book presents an int...
|
cena:
244,25 zł |
 |
The B-Book: Assigning Programs to Meanings
ISBN: 9780521021753 / Angielski / Miękka / 816 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations, including a systematic construction of predicate logic and set...
The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concer...
|
cena:
644,54 zł |
 |
Compiling with Continuations
ISBN: 9780521033114 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations.
This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations...
|
cena:
545,78 zł |
 |
Recursion Via Pascal
ISBN: 9780521269346 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is devoted to recursion in programming, the technique by which the solution to a problem is expressed partly in terms of the solution to a simpler version of the same problem. Ultimately the solution to the simplest version must be given explicitly. In functional programming, recursion has received its full due since it is quite often the only repetitive construct. However, the programming language used here is Pascal and the examples have been chosen accordingly. It makes an interesting contrast with the use of recursion in functional and logic programming. The early chapters...
This book is devoted to recursion in programming, the technique by which the solution to a problem is expressed partly in terms of the solution to a s...
|
cena:
203,94 zł |
 |
Testing in Software Development
ISBN: 9780521337861 / Angielski / Miękka / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With the increasing application of software in systems, especially safety- or even life-critical systems, it is no longer sufficient for the software developer to rely solely on testing the code produced. Testing must begin with the specification of requirements, continue on the design and finally on the implemented system. This book gives guidance on how testing can be carried out at each of the stages of software development. It does this by looking at the development process from four viewpoints: that of the intended user of the system, of its designers, of its programmers, and of the...
With the increasing application of software in systems, especially safety- or even life-critical systems, it is no longer sufficient for the software ...
|
cena:
154,52 zł |
 |
A Practical Handbook for Software Development
ISBN: 9780521347921 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This handbook offers the implementer of software systems a guide to 25 different techniques for the complete development process, from system definition through design and into production. The techniques are described against a common background of the traditional development path, its activities, and deliverable items. In addition, the concepts of metrics and indicators are introduced as tools for both technical and managerial monitoring and control of progress and quality. This book will enable system developers and their managers to widen their knowledge of this process, and will also...
This handbook offers the implementer of software systems a guide to 25 different techniques for the complete development process, from system definiti...
|
cena:
248,43 zł |
 |
Formal Specification and Design
ISBN: 9780521435925 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics,...
Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logi...
|
cena:
322,22 zł |
 |
Qualified Types: Theory and Practice
ISBN: 9780521543262 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualified types can be viewed as a generalization of type classes in the functional language Haskell and the theorem prover Isabelle. These in turn are extensions of equality types in Standard ML. Other applications of qualified types include extensible records and subtyping. Using a general formulation of qualified types, the author extends the Damas/Milner type inference algorithm to support qualified types, which in turn specifies the set of all...
This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualif...
|
cena:
244,25 zł |
 |
LISP in Small Pieces
ISBN: 9780521545662 / Angielski / Miękka / 536 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a comprehensive account of the semantics and the implementation of the whole Lisp family of languages, namely Lisp, Scheme and related dialects. It describes 11 interpreters and 2 compilers, including very recent techniques of interpretation and compilation. The book is in two parts. The first starts from a simple evaluation function and enriches it with multiple name spaces, continuations and side-effects with commented variants, while at the same time the language used to define these features is reduced to a simple lambda-calculus. Denotational semantics is then naturally...
This is a comprehensive account of the semantics and the implementation of the whole Lisp family of languages, namely Lisp, Scheme and related dialect...
|
cena:
592,57 zł |
 |
Formal Semantics and Pragmatics for Natural Language Querying
ISBN: 9780521602747 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links them via a common view of the semantics of time. It is argued that a coherent theory of the semantics of time is an essential ingredient for the success of efforts to incorporate more ???real world??? semantics into database models. This idea is a relatively recent concern of database research but it is receiving growing interest. The book begins with a discussion of database querying which motivates the use of the paradigm of Montague Semantics...
This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links ...
|
cena:
291,03 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
