|
1. |
|
Human Information Processing
Peter H Lindsay, Donald A Norman
E-bok. Elsevier Science, 2013.
|
|
2. |
|
Human Information Processing
Peter H Lindsay, Donald A Norman
E-bok. Elsevier Science, 2013.
|
|
3. |
|
Proof in VDM: A Practitioners Guide
Juan C Bicarregui, John Fitzgerald, Peter A Lindsay, Richard Moore, Brian Ritchie
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1993.
|
|
4. |
|
FME 2002: Formal Methods - Getting IT Right
Lars-Henrik Eriksson, Peter A Lindsay
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2002.
|
|
5. |
|
FME 2002: Formal Methods - Getting IT Right
Lars-Henrik Eriksson, Peter A Lindsay
E-bok. Springer Berlin Heidelberg, Tyskland, 2003.
|
|
|
|