IFIP State-of-the-Art Reports – serie
Visar alla böcker i serien IFIP State-of-the-Art Reports. Handla med fri frakt och snabb leverans.
5 produkter
Computerization and Work
A Reader on Social Aspects of Computerization
Av Ulrich Briefs, John Kjaer m. fl.
Häftad, 1985
569 kr
Lägg i varukorg
This reader contains contributions referring to one of the most urgent problems in systems design: the effects of computerization on human work and approaches to ameliorate systems design in order to create better conditions for living human work in a computerized world. Of course the choice of …
Formal Description of Programming Concepts
Av Erich J. Neuhold, Manfred Paul
Inbunden, 1991
1128 kr
Lägg i varukorg
In software engineering there is a growing need for formalization as a basis for developing powerful computer assisted methods. This volume contains seven extensive lectures prepared for a series of IFIP seminars on the Formal Description of Programming Concepts. The authors are experts in their …
Algebraic Foundations of Systems Specification
Av Egidio Astesiano, Hans-Jörg Kreowski m. fl.
Häftad, 2011
568 kr
Lägg i varukorg
The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the …
CAM
Developments in Computer-Integrated Manufacturing
Häftad, 2011
1095 kr
Lägg i varukorg
"Developments in Computer-Integrated Manufacturing" arose from the joint work of members of the IFIP-Working Group 5.3 - Discrete Manufacturing, and other IFIP members. Within the Technical Committee 5 of the International Federation of Information Processing (lFIP) the aim of this Working Group is …
Computer-Aided Production Management
Häftad, 2011
568 kr
Lägg i varukorg
The purpose of this book is to discuss the state of the art and future trends in the field of computerized production management systems. It is composed of a number of independent papers, each presented in a chapter. Some of the widely recognized experts in the field around the world have been …
