Filters
- Springer
- A K Peters
- A K PETERS
- Aaron Stewart
- ABC-CLIO
- Ablex Publishing Corporation
- Academic
- Academic Medical Press (Division of Academic
- Academic Press
- Accepted, Inc.
- ACM
- ACM Books
- Adamanderson
- Addison Press
- Addison-Wesley Professional
- ALA Editions
- ALA Techsource an Imprint of American Library
- American Library Association
- Amsterdam University Press
- Anatiposi Verlag
- Anson Street Press
- Anthem Press
- Apex Test Prep
- Applewood Books
- APress
- Apress
- Arkose Press
- ASCD
- Ascent - Center for Technical Knowledge
- Ascent, Center for Technical Knowledge
- Aspen Publishing
- Associacao Brasileira de Psicanalise - Abraps
- Atlantic Publishers & Distributors (P) Ltd
- Authorhouse
- Balboa Press
- Baptist Standard Bearer
- Bard Graduate Center
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Barrons Educational Services
- Bayshop (Generis Publishing)
- Bedford Books
- Bentham Science Publishers
- Berg 3pl
- Berg Publishers
- Berghahn Books
- Bibliogov
- BiblioLife
- Biblioscholar
- Bis Publishers
- Black Watch Publishing
- Blackavon Books
- Blackstone Press
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Publishing (UK)
- Bloomsbury Publishing (US)
- Bloomsbury Publishing PLC
- Bloomsbury Visual Arts
- Blurb
- Bod - Books on Demand
- Bookleaf Publishing
- Books on Demand
- Bosko Books
- Bottom of the Hill Publishing
- Bowdark Press
- BPB Publications
- Braddock Bull
- Breely Crush Publishing
- Brill
- Bristol Classical Press
- British Library, Historical Print Editions
- Brooke Strahan
- Brookings Institution Press
- Bucknell University Press
- Butterworth-Heinemann
- Cab International
- CABI
- Cabi
- Cadcamcae Works
- Cadcim Technologies
- Callisto Reference
- Cambridge University Press
- Cambridge UP
- Candler Press
- Cascade Books
- Cashflow Systems
- Cengage
- Cengage Learning
- Cengage Learning India
- Chandos
- Charity James
- China National Publications Import & Export C
- Cirrus Test Prep
- Clanrye International
- Clemson University Press
- College Publications
- Columbia University Press
- CRC Press
- Springer
- A K PETERS
- A K Peters/CRC Press
- Aaron Stewart
- ABC-CLIO
- Ablex Publishing Corporation
- Acad Pr
- Academic
- Academic Medical Press (Division of Academic
- Academic Press
- Accepted, Inc.
- ACM
- ACM Books
- Adamanderson
- Addison Press
- Addison-Wesley Professional
- ALA Editions
- ALA Techsource an Imprint of American Library
- American Library Association
- Amsterdam University Press
- Anatiposi Verlag
- Anson Street Press
- Anthem Press
- Apex Test Prep
- Apple Academic Press
- Applewood Books
- APress
- Apress
- Arkose Press
- ASCD
- Ascent - Center for Technical Knowledge
- Ascent, Center for Technical Knowledge
- Aspen Publishing
- Associacao Brasileira de Psicanalise - Abraps
- Atlantic
- Auerbach P
- Auerbach Publications
- Authorhouse
- Balboa Press
- Baptist Standard Bearer
- Bard Graduate Center
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Barrons Educational Services
- Bayshop (Generis Publishing)
- Bedford Books
- Bentham Science Publishers
- Berg 3pl
- Berg Publishers
- Berghahn Books
- Bibliogov
- BiblioLife
- Biblioscholar
- Birkhauser
- Bis Publishers
- Black Watch Publishing
- Blackavon Books
- Blackstone Press
- Blackwell
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Academic India
- Bloomsbury Publishing PLC
- Bloomsbury Visual Arts
- Blurb
- Bod - Books on Demand
- Bookleaf Publishing
- Books on Demand
- Bosko Books
- Bottom of the Hill Publishing
- Bowdark Press
- BPB Publications
- Braddock Bull
- Breely Crush Publishing
- Brill
- Bristol Classical Press
- British Library, Historical Print Editions
- Brooke Strahan
- Brookings Institution Press
- Bucknell University Press
- Butterworth-Heinemann
- Cab International
- CABI
- Cabi
- CABI Publishing
- Cadcamcae Works
- Cadcim Technologies
- Callisto Reference
- Cambridge
- Cambridge University Press
- Candler Press
- Cascade Books
- Cashflow Systems
- Cengage Learning
- Cengage Learning India
- Chandos
- Chapman and Hall/CRC
- CRC Press
- CRC/CH
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Earth-Science/Environment
- Economics
- Education & Psychology
- Engineering
- English Literature
- Fashion & Textile
- Fine Arts
- Fisheries & Aquaculture
- Food Science & Technology
- Foreign Languages
- General Books
- Graphic Design & Animation
- Health, Physical Fitness and Yoga
- History
- Law and Criminology
- Library & Information Science
- Magic & Alchemy
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Nutrition and Dietetics
- Photography
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Sports and Physical Fitness
- Tourism, Travel Guide & Hospitality
- Veterinary
- Writing/Research Methods
- Adela Coman
- Ahmed Seffah
- Amic G. Ho
- Andreas Holzinger
- Anne Dutton
- Anonymous
- Ascent - Center for Technical Knowledge
- Ascent -. Center for Technical Knowledge
- B. F. Dunelm
- B. H. (Brian Houghton) 1800 Hodgson
- Ben Shneiderman
- Bong Jun Choi
- Brian Houghton Hodgson
- Çağla Şeneler
- Caroline Frances Cornwallis
- Charles Kingsley
- Charles Rambo
- Charles Ricketson Allen
- Chauncey Wilson
- Christian Stary
- Christine Lam
- Constantine Stephanidis
- Cox
- David Benyon
- David C. Planchard
- David Randall
- Dolphus Skinner
- Don Harris
- Donald Elton
- Douglas R. Seidler
- Er Vinay Shanker Shukla
- Eric Canizales
- Evan Carter
- Evan-Moor Educational Publishers
- Fabio Paternò
- Fang Chen
- Flávia Gonçalves Fernandes
- Frances Power Cobbe
- Francis Bacon
- Frank Allen
- Frederick William Faber
- Frederik Poulsen
- G. H. Wood
- Gabriele Meiselwitz
- Gavriel Salvendy
- George Wilson
- Graham A. Peacock
- Hans Hamilton
- Harvard University Library
- Heidi Krömker
- Henry Edward Manning
- Hirohiko Mori
- Ignotus
- Isabel L. Nunes
- Ishwarya M. V.
- Jaap Kamps
- James Anthony Froude
- Jcm-Nystce Test Preparation Group
- Jcm-Texes Test Preparation Group
- Jcm-Tx Pact Test Preparation Group
- Jeff Johnson
- Jerome Cameron Goodwin
- Jessie Y. C. Chen
- Jia Zhou
- John A. McGeachy
- John Crisp
- John F. Runciman
- John Greenleaf Whittier
- John M. Blain
- John Ries
- John St Loe Strachey
- John Su
- Julie A. Jacko
- Lewis Morris
- Margherita Antona
- Marina Machado
- Martin Schrepp
- Masaaki Kurosu
- Math Notion
- Mazyar Seraj
- Michael Smith
- Milo Parker Jewett
- Nuray Aykin
- Oecd
- Panayiotis Zaphiris
- Paul Tran
- Paula Kotzé
- Pedro Campos
- Pei-Luen Patrick Rau
- Qin Gao
- Robert Gream Hall
- Rumenig Eduardo Pereira Pires
- Sakae Yamamoto
- Saumya Shukla
- Sharon A. Wynne
- Speedy Publishing LLC
- The Law Library
- Thomas Wright
- Vanessa Agredo-Delgado
- William Shakespeare
Products
Formal Methods in Human-Computer Interaction
Philippe Palanque
Paperback
Current price
₹3,639
Original price
₹5,597
Original price
₹5,597
Original price
₹5,597
(-35%)
₹3,639
Current price
₹3,639
| /
• Author(s): Philippe Palanque • Publisher: Springer • Publisher Imprint: Springer • BISAC: Interactive & MultimediaFormal methods have already been shown to improve the development process and quality assurance in system design and implement...
View full details
