Peter A. Lindsay - Böcker

Visar alla böcker från författaren Peter A. Lindsay.
2 produkter
Juan C. Bicarregui, John Fitzgerald, Peter A. Lindsay, Richard Moore, Brian Ritchie - Proof in VDM: A Practitioner’s Guide, Häftad

Proof in VDM: A Practitioner’s Guide

Av Juan C. Bicarregui, John Fitzgerald, Peter A. Lindsay, Richard Moore, Brian Ritchie

Häftad, Engelska, 1993

719 kr

Skickas inom 7-10 vardagar
Lars-Henrik Eriksson, Peter A. Lindsay - FME 2002: Formal Methods - Getting IT Right, Häftad
Del 2391 - Lecture Notes in Computer Science

FME 2002: Formal Methods - Getting IT Right

Av Lars-Henrik Eriksson, Peter A. Lindsay

Häftad, Engelska, 2002

1 459 kr

Skickas inom 7-10 vardagar