Grundy jim (17 Ergebnisse)

Paperback. Zustand: Brand New. 2nd edition. 190 pages. 9.00x6.00x0.43 inches. In Stock.

Zustand: New. In English.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. In English.

Zustand: Used. pp. 380.

Zustand: Used. pp. 380.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New.

Gebunden. Zustand: New.

Zustand: New. pp. 436 Illus.

Hardcover. Zustand: gut. Erste Aufl. Glanzfolienkaschierter Pappband. Der Einband etwas berieben und einigen Kratzern, der Seiten- und Fußschnitt dezent fleckig, einzelne Seiten mit kleinem Knickchen der unteren Ecke, bzw. ebd. randgewellt, Exlibris-Stempel auf Vorsatz, ansonsten guter Erhaltungszustand. "Collaboration among individuals ? from users to developers ? is central to modern software engineering. It takes many forms: joint activity to solve common problems, negotiation to resolve conflicts, creation of shared definitions, and both social and technical perspectives impacting all software development activity. The difficulties of collaboration are also well documented. The grand challenge is not only to ensure that developers in a team deliver effectively as individuals, but that the whole team delivers more than just the sum of its parts. The editors of this book have assembled an impressive selection of authors, who have contributed to an authoritative body of work tackling a wide range of issues in the field of collaborative software engineering. The resulting volume is divided into four parts, preceded by a general editorial chapter providing a more detailed review of the domain of collaborative software engineering. Part 1 is on "Characterizing Collaborative Software Engineering", Part 2 examines various "Tools and Techniques", Part 3 addresses organizational issues, and finally Part 4 contains four examples of "Emerging Issues in Collaborative Software Engineering". As a result, this book delivers a comprehensive state-of-the-art overview and empirical results for researchers in academia and industry in areas like software process management, empirical software engineering, and global software development. Practitioners working in this area will also appreciate the detailed descriptions and reports which can often be used as guidelines to improve their daily work." (Verlagstext) In englischer Sprache. 409 pages. Groß 8° (235x155 mm).…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Collaboration among individuals - from users to developers - is central to modern software engineering. It takes many forms: joint activity to solve common problems, negotiation to resolve conflicts, creation of shared definitions, and both social and technical perspectives impacting all software development activity. The difficulties of collaboration are also well documented. The grand challenge is not only to ensure that developers in a team deliver effectively as individuals, but that the whole team delivers more than just the sum of its parts.The editors of this book have assembled an impressive selection of authors, who have contributed to an authoritative body of work tackling a wide range of issues in the field of collaborative software engineering. The resulting volume is divided into four parts, preceded by a general editorial chapter providing a more detailed review of the domain of collaborative software engineering. Part 1 is on 'Characterizing Collaborative Software Engineering', Part 2 examines various 'Tools and Techniques', Part 3 addresses organizational issues, and finally Part 4 contains four examples of 'Emerging Issues in Collaborative Software Engineering'.As a result, this book delivers a comprehensive state-of-the-art overview and empirical results for researchers in academia and industry in areas like software process management, empirical software engineering, and global software development. Practitioners working in this area will also appreciate the detailed descriptions and reports which can often be used as guidelines to improve their daily work.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Collaboration among individuals - from users to developers - is central to modern software engineering. It takes many forms: joint activity to solve common problems, negotiation to resolve conflicts, creation of shared definitions, and both social and technical perspectives impacting all software development activity. The difficulties of collaboration are also well documented. The grand challenge is not only to ensure that developers in a team deliver effectively as individuals, but that the whole team delivers more than just the sum of its parts.The editors of this book have assembled an impressive selection of authors, who have contributed to an authoritative body of work tackling a wide range of issues in the field of collaborative software engineering. The resulting volume is divided into four parts, preceded by a general editorial chapter providing a more detailed review of the domain of collaborative software engineering. Part 1 is on 'Characterizing Collaborative Software Engineering', Part 2 examines various 'Tools and Techniques', Part 3 addresses organizational issues, and finally Part 4 contains four examples of 'Emerging Issues in Collaborative Software Engineering'.As a result, this book delivers a comprehensive state-of-the-art overview and empirical results for researchers in academia and industry in areas like software process management, empirical software engineering, and global software development. Practitioners working in this area will also appreciate the detailed descriptions and reports which can often be used as guidelines to improve their daily work.…

Taschenbuch. Zustand: Neu. Collaborative Software Engineering | Ivan Mistrík (u. a.) | Taschenbuch | xxiv | Englisch | 2014 | Springer | EAN 9783642424311 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Hardcover. Zustand: gut. 2010. Collaborative Software Engineering In deutscher Sprache. pages.