Formal Methods in Human-Computer Interaction
Fr. 62.90
inkl. MwStBeschreibung
Details
Format
Kopierschutz
Nein
Family Sharing
Nein
Text-to-Speech
Ja
Erscheinungsdatum
06.12.2012
Herausgeber
Philippe Palanque + weitereWeitere Bände von Formal Approaches to Computing and Information Technology (FACIT)
-
Zur Artikeldetailseite von High-Integrity System Specification and Design des Autors Jonathan P. Bowen
Jonathan P. Bowen
High-Integrity System Specification and DesigneBook
Fr. 62.90
Fr. 109.90* -
Zur Artikeldetailseite von Notations for Software Design des Autors Loe M. G. Feijs
Loe M. G. Feijs
Notations for Software DesigneBook
Fr. 62.90
-
Zur Artikeldetailseite von Formal Object-Oriented Development des Autors Kevin Lano
Kevin Lano
Formal Object-Oriented DevelopmenteBook
Fr. 62.90
Fr. 109.90* -
Zur Artikeldetailseite von Systems, Models and Measures des Autors Agnes Kaposi
Agnes Kaposi
Systems, Models and MeasureseBook
Fr. 62.90
-
Zur Artikeldetailseite von The B Language and Method des Autors Kevin Lano
Kevin Lano
The B Language and MethodeBook
Fr. 62.90
-
Zur Artikeldetailseite von Industrial-Strength Formal Methods in Practice des Autors Michael G. Hinchey
Michael G. Hinchey
Industrial-Strength Formal Methods in PracticeeBook
Fr. 187.90
-
Zur Artikeldetailseite von A Theory and Practice of Program Development des Autors Derek J. Andrews
Derek J. Andrews
A Theory and Practice of Program DevelopmenteBook
Fr. 62.90
-
Zur Artikeldetailseite von Formal Methods and Object Technology des Autors Stephen J. Goldsack
Stephen J. Goldsack
Formal Methods and Object TechnologyeBook
Fr. 125.90
Fr. 162.90* -
Zur Artikeldetailseite von On the Refinement Calculus des Autors Carroll Morgan
Carroll Morgan
On the Refinement CalculuseBook
Fr. 62.90
-
Zur Artikeldetailseite von Proof in VDM: Case Studies des Autors Juan C. Bicarregui
Juan C. Bicarregui
Proof in VDM: Case StudieseBook
Fr. 125.90
-
Zur Artikeldetailseite von Formal Methods in Human-Computer Interaction des Autors Philippe Palanque
Philippe Palanque
Formal Methods in Human-Computer InteractioneBook
Fr. 62.90
-
Zur Artikeldetailseite von Software Specification Methods des Autors Henri Habrias
Henri Habrias
Software Specification MethodseBook
Fr. 150.00
Unsere Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Erste Bewertung verfassen