Formal Methods in Human-Computer Interaction

Formal Methods in Computer Science

Cambridge Human-Computer Interaction Formal Methods in Human-Computer Interaction Book 2 (Paperback)

Engineering Software Products An Introduction to Modern Software Engineering

Building Bridges: Hci Visualization and Non-Formal Modeling: Ifip Wg 13.7 Workshops on Human-Computer Interaction and (Paperback)

Human-Computer Interaction in Various Application Domains (Hardcover)

Software Engineering and Formal Methods: 10th International Conference Sefm 2012 Thessaloniki Greece October 1-5 20 (Paperback)

Lecture Notes in Computer Science Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma Cosim-Cps Opencert Asyde Virtual Even Book 13230 (Paperback)

Formal Methods Applied to Industrial Complex Systems

Formal Engineering for Industrial Software Development: Using the Sofl Method (Hardcover)

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer Communicatio (Paperback)

Lecture Notes in Computer Science Integrated Formal Methods: Second International Conference Ifm 2000 Dagstuhl Castle Germany November 1-3 2000 Proce Book 1945 (Paperback)

Lecture Notes in Computer Science Formal Methods: 25th International Symposium FM 2023 Lübeck Germany March 6-10 2023 Proceedings Book 14000 (Paperback)

Industrial Use of Formal Methods Formal Verification

Formal Approaches to Computing and Infor Formal Methods and Object Technology (Paperback)

Sixth IEEE International Conference on Software Engineering and Formal Methods (Sefm 2008)

Interactive Computation: The New Paradigm (Paperback)

Real-Time Systems: Formal Specification and Automatic Verification

Engineering Software Products An Introduction to Modern Software Engin

Fundamentals of Human-Computer Interaction

Formal Methods Applied to Industrial Complex Syste

Approaches and Frameworks for HCI Research

Human-Computer Systems Interaction: Backgrounds and Applications 4

Human-Computer Interaction: International Workshop Hci 2007 Rio de Janeiro Brazil October 20 2007 Proceedings (Paperback)

Integrated Formal Methods: 5th International Conference Ifm 2005 Eindhoven the Netherlands November 29 - December 2 (Paperback)

Formal Methods in Manufacturing

Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods ICFEM 2012 Kyoto (Paperback)

Pre-Owned Formal Engineering for Industrial Software Development: Using the Sofl Method (Hardcover)

Fundamental Proof Methods in Computer Science A Computer-Based Approach

Fundamental Approaches to Software Engineering: 20th International Conference Fase 2017 Held as Part of the European J (Paperback)

Integrated Formal Methods: 11th International Conference Ifm 2014 Bertinoro Italy September 9-11 2014 Proceedings (Paperback)

Pre-Owned Formal Approaches to Software Testing: 4th International Workshop Fates 2004 Linz Austria September 21 2004 Revised Selected Papers (Paperback)

How to Engineer Software A Model-Based Approach

Designing Complex Systems

Fifth IEEE International Conference on Software Engineering and Formal Methods (Sefm 2007)