Bücher zur Softwareentwicklung - englischsprachig  (489 Angebote unter 17 392 366 Artikeln)

Examples from TEMPO and some current programming languanges.- Syntax of TEMPO.- Semantics of TEMPO.- Implementation techniques for TEMPO.- Machine efficiency & programmer convenience.- Improvements...

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performanc...

23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

Testing Commercial-off-the-Shelf Components and Systems

Static Analysis of Object-Oriented Languages.- Precise Analysis of String Expressions.- Modular Class Analysis with DATALOG.- Class-Level Modular Analysis for Object Oriented Languages.- Static Ana...

This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 ...

This book is intended for programming beginners who want to learn the universal programming language C. More than 250 documented program examples in this book make it easy to get started.   C is a ...

Temporal Logic and State Systems

This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997. The 24 revised full papers ...

This book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technology. It provides a comprehensive description of t...

Many of us already have at least a passing acquaintance with procedural languages such as BASIC or Pascal, but may not have met a functional language like Lisp before. Using the same enjoyable and ...

Safety-critical systems are a subclass of reactive systems, a dominating class of computer systems. Such systems control airbags in cars, flaps of aircrafts, or pace makers. Software for these syst...

While other textbooks devote their pages to explaining introductory programming concepts, focuses exclusively on exercises, following the philosophy that computer programming is a skill best learne...

Fortran is currently the world's most powerful numeric language and F is a subset of this. F is a programming language which is nearly as powerful as its parent language, containing the modern lang...

Das ist das Buch für alle, die die Grundlagen der Programmierung in C von einem Ingenieur (M.Eng.) erlernen möchten. In diesem Buch werden Sie sowohl die theoretischen Grundlagen als auch den prakt...