Search results for “[Subject: computers-software]”

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThe development of information processing systems requires models, calculi, and theories fo...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThis book presents a mathematical and logical approach to program and software development ...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThe development of information processing systems requires models, calculi, and theories fo...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralTesting is the primary hardware and software verification technique used by industry today. Usually, it is ad h...

• Author(s): Manfred Broy | Otto Spaniol • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDas erfolgreiche Lexikon ist wieder auf dem aktuellen Stand. Von den f�hrenden Wissenschaftlern ...

• Author(s): Manfred Broy | Martin Wirsing • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis volume is a collection of papers presenting work based on the ideas of the CIP project. T...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer SimulationSoftware development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enablin...

• Author(s): Manfred Broy | Stefan Jähnichen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the final report of the work carried out in the project KORSO ("Korrek...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis volume contains the proceedings of the 1990 Marktoberdorf Summer School on mathematical programming methods. Contributions are center...