Hoppa till sidans huvudinnehåll

Carroll Morgan – författare

Visar alla böcker från författaren .
8 produkter
Annabelle Mclver, Carroll Morgan - Programming Methodology, Inbunden

Programming Methodology

AvAnnabelle Mclver,Carroll Morgan

Inbunden, Engelska, 2002

1 439 kr

Skickas inom 10-15 vardagar

Carroll Morgan - Formal Methods, Informally, Inbunden

Formal Methods, Informally

How to Write Programs That Work

AvCarroll Morgan

Inbunden, Engelska, 2026

1 609 kr

Skickas inom 7-10 vardagar

Carroll Morgan - Formal Methods, Informally, Häftad

Formal Methods, Informally

How to Write Programs That Work

AvCarroll Morgan

Häftad, Engelska, 2026

719 kr

Skickas inom 7-10 vardagar

Annabelle Mclver, Carroll Morgan - Programming Methodology, Häftad

Programming Methodology

AvAnnabelle Mclver,Carroll Morgan

Häftad, Engelska, 2010

1 589 kr

Skickas inom 10-15 vardagar

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith - Science of Quantitative Information Flow, Inbunden

Science of Quantitative Information Flow

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

Inbunden, Engelska, 2020

839 kr

Skickas inom 10-15 vardagar

Carroll Morgan, Trevor Vickers - On the Refinement Calculus, Häftad

On the Refinement Calculus

AvCarroll Morgan,Trevor Vickers

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar

Adenilso Simao, Carroll Morgan - Formal Methods: Foundations and Applications, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Carroll Morgan - When God Speaks, Obey!, Häftad

When God Speaks, Obey!

AvCarroll Morgan

Häftad, Engelska, 2024

159 kr

Skickas inom 5-8 vardagar