fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Formal methods in human-computer interaction

Formal methods in human-computer interaction

by Philippe Palanque

Formal methods (Computer science)Human-computer interactionWorld Wide WebInterfaces utilisateur (informatique)Mensch-Maschine-Kommunikation
0.0
Open Library
Open Library

Themes & subjects

Formal methods (Computer science)Human-computer interactionWorld Wide WebInterfaces utilisateur (informatique)Mensch-Maschine-KommunikationInteraction homme-ordinateur

About the author

Philippe Palanque

1966

Author

Philippe Palanque

Pages

376

Read time

≈ 9h

Editions

1

Language

English

Publisher

Springer

ISBN

3540761586

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Software Specification Methods

Formal methods (Computer science) · Computer software

Software Specification Methods

Henri Habrias

2000

Formal methods for components and objects

Formal methods (Computer science) · Congresses

Formal methods for components and objects

Frank S. de Boer

2004

Modeling in event-b

B method (Computer science) · Verification

Modeling in event-b

Jean-Raymond Abrial

2006

Process Algebra for Parallel and Distributed Processing

Parallel processing (Electronic computers) · Distributed processing

Process Algebra for Parallel and Distributed Processing

Michael Alexander

2008

Computer-aided reasoning

Expert systems (Computer science) · Formal methods (Computer science)

Computer-aided reasoning

Matt Kaufmann

2000

Practical UML statecharts in C/C++

Development · UML (Computer science)

Practical UML statecharts in C/C++

Miro Samek

2008

The Way of Z

Formal methods (Computer science) · Z (Computer program language)

The Way of Z

Jonathan Jacky

1996

Foundations and applications of security analysis

Congresses · Formal methods (Computer science)

Foundations and applications of security analysis

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)

2009

Computer Safety, Reliability, and Security

Systems and Data Security · Software engineering

Computer Safety, Reliability, and Security

Frank Ortmeier

2012

Descriptional Complexity of Formal Systems

Formal methods (Computer science) · Congresses

Descriptional Complexity of Formal Systems

Jeffrey Shallit

2014

Formal Aspects of Component Software

Mathematical Logic and Formal Languages · Programming Techniques

Formal Aspects of Component Software

Farhad Arbab

2012

2001

Human-computer interaction · Computers

2001

Arthur C. Clarke

1968

2061

Science fiction · Extraterrestrial beings

2061

Arthur C. Clarke

1987

Natural Language Processing and Information Systems

Translators (Computer programs) · Data Mining and Knowledge Discovery

Natural Language Processing and Information Systems

Elisabeth Métais

2005

Brain-Computer Interface Research

Neurosciences · Human-computer interaction

Brain-Computer Interface Research

Christoph Guger

2013

Human-computer interaction

Human-computer interaction

Human-computer interaction

Andrew Sears

2003

Distributed, Ambient, and Pervasive Interactions

Models and Principles · Computer Applications

Distributed, Ambient, and Pervasive Interactions

Norbert Streitz

2013

Augmented Reality, Virtual Reality, and Computer Graphics

Virtual reality · Computer graphics

Augmented Reality, Virtual Reality, and Computer Graphics

Lucio Tommaso De Paolis

2016