Interactive Systems. Design Specification, and Verification 1
bokomslag Interactive Systems. Design Specification, and Verification
Data & IT

Interactive Systems. Design Specification, and Verification

Stephen W Gilroy • Michael D Harrison

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 276 sidor
  • 2006
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.
  • Författare: Stephen W Gilroy, Michael D Harrison
  • Illustratör: Bibliographie
  • Format: Pocket/Paperback
  • ISBN: 9783540341451
  • Språk: Engelska
  • Antal sidor: 276
  • Utgivningsdatum: 2006-05-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Larry the Lobster

    Larry the Lobster

    Edward D Harrison Iii Kristin R Robinson

    Inbunden

    329:-
  2. bokomslag Interactive Systems. Design, Specification, and Verification

    Interactive Systems. Design, Specific...

    Philippe Palanque T C Nicholas Graham

    Pocket

    759:-
  3. bokomslag Local Records

    Local Records

    John Latimer

    Inbunden

    619:-
  4. bokomslag History of the Catnach Press

    History of the Catnach Press

    Charles Hindley

    Pocket

    609:-
  5. bokomslag Pulltrouser Swamp

    Pulltrouser Swamp

    Peter D Harrison B L Turner

    Pocket

    479:-
  6. bokomslag Interactive Systems. Design, Specification, and Verification

    Interactive Systems. Design, Specific...

    Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao E Cunha

    Pocket

    759:-
  7. bokomslag Production and Uses of Genetically Transformed Plants

    Production and Uses of Genetically Tr...

    M W Bevan, B D Harrison, C J Leaver

    Inbunden

    3059:-
  8. bokomslag Engineering Human Computer Interaction and Interactive Systems

    Engineering Human Computer Interactio...

    Rmi Bastide, Philippe Palanque, Jrg Roth

    Pocket

    759:-
  9. bokomslag Engineering Interactive Systems

    Engineering Interactive Systems

    Jan Gulliksen, Morten Borup Harning, Philippe Palanque, Gerrit C Van Der Veer, Janet Wesson

    Pocket

    1499:-
  10. bokomslag Lent In 50 Moments

    Lent In 50 Moments

    Ted Harrison Liam Kelly

    Pocket

    249:-

Andra av samma författare

  1. bokomslag Design, Specification and Verification of Interactive Systems 97

    Design, Specification and Verificatio...

    Juan C Torres Michael D Harrison

    Pocket

    759:-