Hoppa till sidans huvudinnehåll

Carroll Morgan - Böcker

Visar alla böcker från författaren Carroll Morgan.
8 produkter

Programming Methodology

AvAnnabelle Mclver,Carroll Morgan

Inbunden, Engelska, 2002

1 419 kr

Skickas inom 10-15 vardagar

Formal Methods, Informally

How to Write Programs That Work

AvCarroll Morgan

Inbunden, Engelska, 2026

1 569 kr

Skickas inom 7-10 vardagar

Formal Methods, Informally

How to Write Programs That Work

AvCarroll Morgan

Häftad, Engelska, 2026

709 kr

Skickas inom 7-10 vardagar

Programming Methodology

AvAnnabelle Mclver,Carroll Morgan

Häftad, Engelska, 2010

1 569 kr

Skickas inom 10-15 vardagar

Science of Quantitative Information Flow

AvMário S. Alvim,Konstantinos Chatzikokolakism. fl.

Inbunden, Engelska, 2020

829 kr

Skickas inom 10-15 vardagar

On the Refinement Calculus

AvCarroll Morgan,Trevor Vickers

Häftad, Engelska, 1994

719 kr

Skickas inom 10-15 vardagar

Formal Methods: Foundations and Applications

14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

AvAdenilso Simao,Carroll Morgan

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar

When God Speaks, Obey!

AvCarroll Morgan

Häftad, Engelska, 2024

159 kr

Skickas inom 5-8 vardagar