Formal Methods In Human Computer Interaction(1st Edition)
Authors:
Philippe Palanque ,Fabio Paterno
In Stock: 1 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3540761586, 978-3540761587
Book publisher: Springer
Book Price $0 : Formal Methods Have Already Been Shown To Improve The Development Process And Quality Assurance In System Design And Implementation. This Volume Examines Whether These Benefits Also Apply To The Field Of Human-computer Interface Design And Implementation, And Whether Formal Methods Can Offer Useful Support In Usability Evaluation And Obtaining More Reliable Implementations Of User Requirements. Its Main Aim Is To Compare The Different Approaches And Examine Which Particular Type Of Implementation And Problem Each One Is Best Suited To. To Enable The Reader To Compare And Contrast The Approaches As Easily As Possible, Each One Is Applied To The Same Case Study: The Specification Of An Ideal Netscape-like Web Browser And Html Page Server. The Resulting Volume Will Provide Invaluable Reading For Final Year Undergraduate And Postgraduate Courses On User Interfaces, User Interface Design, And Applications Of Formal Methods.
Customers also bought these books (16)
Touchless Palmprint Recognition Systems - 1st Edition
Angelo Genovese
ISBN: 3319103652, 9783319103655
$90.3 $129.00
Numerical Methods For Engineers - 5th Edition
Steven C. Chapra
ISBN: 978-0071244299, 0071244298
$0 $52.99
Financial Accounting an introduction to concepts, methods and uses - 13th Edition
Clyde P. Stickney
ISBN: 978-0538776080, 324651147, 538776080, 9780324651140, 978-0324789003
$228.87 $326.95
Recent Trends In Algebraic Development Techniques 26th Ifip Wg 1 3 International Workshop Wadt 2022 Aveiro Portugal June 28 30 2022 Revised Selected Notes In Computer Science Book 13710 - 1st Edition
Alexandre Madeira
ISBN: B0CFJ87DDC, 978-3031433450
$0 $15.53
Formal Object Oriented Development - 1st Edition
Kevin Lano
ISBN: 3540199780, 978-3540199786
$0 $3.63
Static Analysis 31st International Symposium Sas 2024 Pasadena Ca Usa October 20 22 2024 Proceedings - 1st Edition
Roberto Giacobazzi
ISBN: 3031747755, 978-3031747755
$0 $67.78
New Trends In Formal Languages Control Cooperation And Combinatorics - 1st Edition
Gheorghe Paun
ISBN: 3540628444, 978-3540628446
$0 $5.51
Modular Programming Languages Joint Modular Languages Conference Jmlc 2003 Klagenfurt Austria August 25 27 2003 Proceedings - 1st Edition
Laszlo Boszormenyi
ISBN: 3540407960, 978-3540407966
$0 $35.69
GATE WALLAH Topic Wise GATE Previous Year Questions With Video Solutions Engineering Mathematics And General Aptitude 2008-2023 - 2023 Edition
Physics Wallah
ISBN: 8119192702, 978-8119192700
$0 $4.25
The Little Book Of Racial Healing Coming To The Table For Truth Telling Liberation And Transformation - 1st Edition
Thomas Norman Dewolf
ISBN: 1680993623, 978-1680993622
$0 $6.00
Cost Accounting A Managerial Emphasis - 15th edition
Charles T. Horngren
ISBN: 978-0133428858, 133428850, 133428702, 978-0133428704
$56.6 $80.86
Redis The Definitive Guide Data Modeling Caching And Messaging - 1st Edition
Jay Kreibich
ISBN: 1449396097, 978-1449396091
$0 $40.88
Foundations Of Software Science And Computational Structures 13th International Conference Fossacs 2010 Held As Part Of The Joint European - 1st Edition
Luke Ong
ISBN: 3642120318, 978-3642120312
$0 $54.99
Interpreted Languages And Compositionality - 1st Edition
Marcus Kracht
ISBN: B001HPY346, 978-9400721081
$64.22 $91.74Popular Among Students (13)
Employment Law For Business And Human Resources Professionals - 4th Edition
Kathryn J. Filsinger
ISBN: 1772555967, 9781772555967
$56.7 $81.00
Canadian Immigration And Refugee Law For Legal Professionals - 5th Edition
Lynn Fournier Ruggles
ISBN: 1774620553, 9781774620557
$0 $75.00
Certified Internal Auditor CIA Part 2 Practice Of Internal Auditing - 1st Edition
Muhammad Zain
ISBN: 1093798459, 978-1093798456
$0 $12.00
Jackass Investing Don T Do It Profit From It - 1st Edition
Michael Dever
ISBN: 0983504016, 978-0983504016
$0 $31.37
Trading Strategies From A Trading Skeptic - 1st Edition
Dan Murphy
ISBN: 0989483304, 978-0989483308
$0 $76.94
Black Body Radiative Thermodynamic And Chromatic Functions Tables In Finite Spectral Ranges - 1st Edition
Anatoliy I Fisenko
ISBN: 3319389947, 978-3319389943
$0 $32.04
Interactive Systems Design Specification And Verification 7th International Workshop DSV IS 2000 Limerick Ireland June 5 6 2000 Revised Papers - 2001st Edition
Philippe Palanque
ISBN: 3540416633, 978-3540416630
$0 $33.83
Coordination Models And Languages 8th International Conference Coordination 2006 Bologna Italy June 14 2006 Proceedings - 2006 Edition
Paolo Ciancarini
ISBN: 3540346945, 978-3540346944
$0 $10.82
Techniques For Searching Parsing And Matching - 1st Edition
Alberto Pettorossi
ISBN: 3030631915, 978-3030631918
$0 $69.99
Sentic Computing Techniques Tools And Applications - 1st Edition
Erik Cambria
ISBN: B00E0MR0XO, 978-9400750708
$0 $12.55
Wilhelm List Magnolia Tree - 1st Edition
Flame Tree Studio
ISBN: 1783613521, 978-1783613526
$0 $10.00
David Buschs Quick Snap Guide To Using Digital Slr Lenses - 1st Edition
David D Busch
ISBN: 1598634550, 978-1598634556
$0 $11.43
Computational Science And Its Applications ICCSA 2020 20th International Conference Cagliari Italy July 1-4 2020 Proceedings Part III - 1st Edition
Osvaldo Gervasi
ISBN: 3030588076, 978-3030588076
$60.96 $87.08