Book serie: / Книги серии: Formal Approaches to Computing and Information Technology (FACIT) » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Formal Approaches to Computing and Information Technology (FACIT) » Page 2

book Formal Methods in Human-Computer Interaction

Formal Methods in Human-Computer Interaction

pdf

Author: Philippe Palanque Fabio Paternò (auth.) Philippe Palanque Fabio Paternò (eds.)
Language: English
Year: 1998

00

27.01.2024

0

0

book Proof in VDM: Case Studies

Proof in VDM: Case Studies

pdf

Author: John Fitzgerald Cliff Jones (auth.) J. C. Bicarregui BSc MSc PhD (eds.)
Language: English
Year: 1998

00

27.01.2024

1

0

book Constructing Correct Software

Constructing Correct Software

pdf

Author: John Cooke
Language: English
Year: 2005

00

27.01.2024

2

0