Learn IT - Books tags formal

Embedded Systems and Software Validation (Morgan Kaufmann Series in Systems on Silicon)

Morgan Kaufmann, 2009

Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and partially programmable or fixed-function components. This heterogeneity, coupled with issues such as hardware/software partitioning, mapping,...

Computability and Complexity Theory (Texts in Computer Science)

Springer, 2001

The theory of computing provides computer science with concepts, models, and formalisms for reasoning about both the resources needed to carry out computations and the efficiency of the computations that use these resources. It provides tools to measure the difficulty of combinatorial problems both absolutely and in comparison with other...

Intelligent Information Integration for the Semantic Web (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Springer, 2005

The Semantic Web offers new options for information processes. Dr. Visser is dealing with two core issues in this area: the integration of data on the semantic level and the problem of spatio-temporal representation and reasoning. He tackles existing research problems within the field of geographic information systems (GIS), the solutions of...

Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany

Springer, 2012

From July 22 to July 24, 2010, the Technische Universit¨at M¨unchen, Germany, hosted the eighth edition of the now well-established ADG workshop dedicated to Automatic Deduction in Geometry. From the first edition, which was held in Toulouse in 1996, to ADG 2010, a slow mutation has taken place. The workshop that was formerly...

Multi-Agent Programming : Languages, Platforms and Applications

Springer, 2005

Agent technology, in particular multi-agent systems, is beginning to play
an important role in today's software development at industrial level. Until
recently, the main focus of the multi-agent systems community has been
on the development of concepts, architectures, interaction techniques, and
general approaches to the...

Formal Correctness of Security Protocols (Information Security and Cryptography)

Springer, 2007

Computer network security is critical to fraud prevention and accountability. Network participants are required to observe predefined steps called security protocols, whose proof of correctness is evidence that each protocol step preserves some desired properties.

The author investigates proofs of correctness of realistic security protocols in...

Introduction to Compiler Construction

W. H. Freeman, 1992

The art of compiler construction is a fascinating subject- It integrates the mathe matical foundations of formal languages, a wealth of well-established techniques for syntactic analysis, semantic analysis and optimization, and a tremendous amount of practical experience accumulated over the past four decades in designing and us ing...

Introduction to the Design and Analysis of Algorithms (3rd Edition)

Pearson Education, 2011

Based on a new classification of algorithm design techniques and a clear delineation of analysis methods, Introduction to the Design and Analysis of Algorithms presents the subject in a coherent and innovative manner. Written in a student-friendly style, the book emphasizes the understanding of ideas over excessively formal...

The Probation and Parole Treatment Planner

John Wiley & Sons, 2003

The Probation and Parole Treatment Planner provides all the elements necessary to quickly and easily develop formal treatment plans that satisfy the demands of HMOs, managed care companies, third-party payors, and state and federal review agencies.

Saves you hours of time-consuming paperwork, yet offers the freedom to develop...

Digital Design for Print and Web: An Introduction to Theory, Principles, and Techniques

John Wiley & Sons, 2010

Digital Design for Print and Web: An Introduction to Theory, Principles, and Techniques was written to help people succeed with digital design. It is a learning product that incorporates both video lessons and an in-depth textbook written from two perspectives—that of a student, and that of a teacher.

First I put myself in...

Software Quality Engineering : Testing, Quality Assurance, and Quantifiable Improvement

John Wiley & Sons, 2005

The one resource needed to create reliable software

This text offers a comprehensive and integrated approach to software quality engineering. By following the author's clear guidance, readers learn how to master the techniques to produce high-quality, reliable software, regardless of the software system's level of complexity.
...

Constructing Correct Software (Formal Approaches to Computing and Information Technology)

Springer, 2004

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This...

Result Page: 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5