for at udvide
kategorilisten.
Softwareudvikling
-
Designing for User Engagement on the Web: 10 Basic Principles (Bog, Hardback, Engelsk)
"Simultaneously published in the UK"--Title page verso.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Specifying Software: A Hands-On Introduction (Bog, Paperback / softback, Engelsk)
An introductory textbook on software specifications suitable for programming students with some background in discrete mathematics and logic. The author... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
UML by Example (Bog, Paperback / softback, Engelsk)
This systematic introduction to object-oriented software development is suitable for teaching as well as for practicing software engineers seeking to add rigour to their techniques. It... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
The B-Book: Assigning Programs to Meanings (Bog, Paperback / softback, Engelsk)
The long-awaited B-Book is the standard reference for everything concerning the B Method, written by its inventor, J.-R. Abrial. Formal methods practitioners,... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Understanding Z: A Specification Language and its Formal Semantics (Bog, Paperback / softback, Engelsk)
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory (Bog, Paperback / softback, Engelsk)
Many different structured methodologies exist, each employing a number of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Foundations of Component-Based Systems (Bog, Paperback / softback, Engelsk)
This 2000 collection of articles by well-known experts moves from theoretical frameworks, models, and systems of notation to case studies by researchers. The... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Simulation Techniques for Discrete Event Systems (Bog, Paperback / softback, Engelsk)
This book, first published in 1982, will be useful to both undergraduate and postgraduate students taking courses on simulation in departments of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
The Object Primer: Agile Model-Driven Development with UML 2.0 (Bog, Paperback / softback, Engelsk)
Scott Ambler's updated edition of The Object Primer now presents all modeling notation in UML 2.0. All chapters have been revised to take advantage of Agile Modeling (AM), which is presented in the new chapter 2 along with other important modeling techniques.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
The Way of Z: Practical Programming with Formal Methods (Bog, Paperback / softback, Engelsk)
This 1997 book is a self-contained tutorial on Z for experienced programming professionals, discussing practical ways to apply formal methods in... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
The Patterns Handbook: Techniques, Strategies, and Applications (Bog, Paperback / softback, Engelsk)
This book contains seminal articles and essays that illustrate the growing importance of patterns in application development.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Component-Based Software Engineering (Bog, Paperback / softback, Engelsk)
This book, first published in 1997, covers the most important topics in ComponentWare™ technology, based in large part on the first Component Users Conference. It... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
