Learn IT - Books tags formal

Handbook of Software Engineering

Springer, 2019

This handbook provides a unique and in-depth survey of the current state-of-the-art in software engineering, covering its major topics, the conceptual genealogy of each subfield, and discussing future research directions. Subjects include foundational areas of software engineering (e.g. software processes, requirements engineering,...

Formal Verification of Floating-Point Hardware Design

Springer, 2018

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has...

Graph Algorithms

Cambridge University Press, 2011

Shimon was a great computer scientist who inspired generations of Israeli stutents and young researchers, including many future leaders of theoretical computer science.

He was a master at creating combinatorial algorithms, constructions, and proofs. He always sought the simplest and most lucid solutions. Because...

Recent Advances in Parallel Virtual Machine and Message Passing Interface

Springer, 2007

Thirteen years after the publication of the first MPI (message passing interface) specification and 17 years after the first published paper on PVM(parallel virtual machine), MPI and PVM have emerged as standard programming environments and continue to be the development environment of choice for a large variety of...

Mathematical Methods for Physics and Engineering: A Comprehensive Guide

Cambridge University Press, 2006

From reviews of previous editions: '...a great scientific textbook. It is a tour de force ... to write mathematical sections that are both complete and at an appropriate academic level. The authors have clearly succeeded in this challenge, making this a remarkable pedagogical book ... The choice of exercises is excellent and possibly the best...

How to Think About Algorithms

Cambridge University Press, 2008

There are many algorithm texts that provide lots of well-polished code and proofs of correctness. This book is not one of them. Instead, this book presents insights, notations, and analogies to help the novice describe and think about algorithms like an expert. By looking at both the big picture and easy step-by-step methods for developing...

The Arithmetic of Elliptic Curves (Graduate Texts in Mathematics)

Springer, 2009

The theory of elliptic curves is distinguished by its long history and by the diversity of the methods that have been used in its study. This book treats the arithmetic theory of elliptic curves in its modern formulation, through the use of basic algebraic number theory and algebraic geometry. The book begins with a brief discussion of the...

UML and the Unified Process

IRM Press, 2003

This book provides a set of readings on the state-of-the-art and the state-of-thepractice
of the Unified Modeling Language (UML) and the Unified Process (UP).

UML is a language for specifying, visualizing, constructing and documenting
software- intensive systems. It is a unifier of proven software modeling languages that...

Mobile Satellite Communication Networks

John Wiley & Sons, 2001

Until very recently, geostationary satellites have been used as a sole basis for the provision of mobile satellite services. However, the launch of satellite personal communication services (S-PCS), which make use of non-geostationary satellites, has provided a new dimension to the mobile satellite communications industry. The introduction of S-PCS...

Secure Systems Development with UML

Springer, 2004

Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness.

Jürjens presents the UML extension UMLsec for secure systems development. It uses the standard UML...

Programming with Mathematica®: An Introduction

Cambridge University Press, 2013

Starting from first principles, this book covers all of the foundational material needed to develop a clear understanding of the Mathematica language, with a practical emphasis on solving problems. Concrete examples throughout the text demonstrate how Mathematica language, can be used to solve problems in science, engineering,...

A Guide to the Project Management Body of Knowledge: PMBOK(R) Guide

Project Management Institute, 2013

A Guide to the Project Management Body of Knowledge (PMBOK® Guide) – Fifth Edition provides guidelines for managing individual projects and defines project management related concepts. It also describes the project management life cycle and its related processes, as well as the project life cycle.

The...

Result Page: 58 57 56 55 54 53 52 51 50 49