Hoppa till sidans huvudinnehåll

Carroll Morgan - Böcker

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

Programming Methodology

AvAnnabelle Mclver,Carroll Morgan m. fl.

Inbunden, Engelska, 2002

1 429 kr

Skickas inom 10-15 vardagar

  • Nyhet

Formal Methods, Informally

How to Write Programs That Work

AvCarroll Morgan,Sydney) Morgan, Carroll (University of New South Wales

Inbunden, Engelska, 2026

1 489 kr

Skickas inom 10-15 vardagar

  • Nyhet

Formal Methods, Informally

How to Write Programs That Work

AvCarroll Morgan,Sydney) Morgan, Carroll (University of New South Wales

Häftad, Engelska, 2026

669 kr

Skickas inom 10-15 vardagar

Programming Methodology

AvAnnabelle Mclver,Carroll Morgan m. fl.

Häftad, Engelska, 2010

1 569 kr

Skickas inom 10-15 vardagar

Science of Quantitative Information Flow

AvMário S. Alvim,Konstantinos Chatzikokolakis m. fl.

Inbunden, Engelska, 2020

839 kr

Skickas inom 10-15 vardagar

On the Refinement Calculus

AvCarroll Morgan,Trevor Vickers

Häftad, Engelska, 1994

699 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing - ICTAC 2009

6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings

AvMartin Leucker,Charles Carroll Morgan m. fl.

Häftad, Engelska, 2009

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