Hoppa till sidans huvudinnehåll

Carroll Morgan - Böcker

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

Programming Methodology

Av Annabelle Mclver, Carroll Morgan m. fl

Inbunden, Engelska, 2002

1 449 kr

Skickas inom 10-15 vardagar
  • Nyhet

Formal Methods, Informally

How to Write Programs That Work

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

Inbunden, Engelska, 2026

1 269 kr

Kommande
  • Nyhet

Formal Methods, Informally

How to Write Programs That Work

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

Häftad, Engelska, 2026

699 kr

Kommande

Programming Methodology

Av Annabelle Mclver, Carroll Morgan m. fl

Häftad, Engelska, 2010

1 589 kr

Skickas inom 10-15 vardagar

Science of Quantitative Information Flow

Av Mário S. Alvim, Konstantinos Chatzikokolakis m. fl

Inbunden, Engelska, 2020

849 kr

Skickas inom 10-15 vardagar

On the Refinement Calculus

Av Carroll Morgan, Trevor Vickers

Häftad, Engelska, 1994

709 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing - ICTAC 2009

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

Av Martin Leucker, Charles Carroll Morgan m. fl

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Formal Methods: Foundations and Applications

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

Av Adenilso Simao, Carroll Morgan

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

When God Speaks, Obey!

Av Carroll Morgan

Häftad, Engelska, 2024

159 kr

Skickas inom 7-10 vardagar