Carroll Morgan – författare
Visar alla böcker från författaren Carroll Morgan. Handla med fri frakt och snabb leverans.
14 produkter
Programming Methodology
Av Carroll Morgan, Annabelle Mclver
E-bok, 2012
1470 kr
Lägg i varukorg
The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this …
Programming Methodology
Av Annabelle Mclver, Carroll Morgan
Inbunden, 2002
1130 kr
Lägg i varukorg
The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this …
Formal Methods, Informally
How to Write Programs That Work
Inbunden, 2026
1272 kr
Lägg i varukorg
Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. While this undergraduate-level textbook is motivated by formal methods, so encouraging habits that lead to correct and concise computer programs, its …
Formal Methods, Informally
How to Write Programs That Work
Häftad, 2026
637 kr
Lägg i varukorg
Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. While this undergraduate-level textbook is motivated by formal methods, so encouraging habits that lead to correct and concise computer programs, its …
Programming Methodology
Av Annabelle Mclver, Carroll Morgan
Häftad, 2010
1243 kr
Lägg i varukorg
The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this …
On the Refinement Calculus
Av Trevor Vickers, Carroll Morgan
E-bok, 2012
734 kr
Lägg i varukorg
On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra''s programming language. It is an excellent source of reference material for all those seeking the background and …
Memoirs of a Small Town Christian Police Officer
E-bok, 2022
184 kr
Lägg i varukorg
A book about a small town police officer who went from a parking meter patrol officer to a Police Major. Who, because of alcoholism, was forced to resign from the police force. By the Grace of God and the testimony of Pastors, Terrell and Debbie Reed, he was saved, turned his life around, and God …
Science of Quantitative Information Flow
Av Mário S. Alvim, Konstantinos Chatzikokolakis m. fl.
Inbunden, 2020
660 kr
Lägg i varukorg
This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing precise meaning to the intuition that certain information leaks are small enough to be tolerated – and how systems can be constructed that …
Science of Quantitative Information Flow
Av Geoffrey Smith, Catuscia Palamidessi m. fl.
E-bok, 2020
903 kr
Lägg i varukorg
This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing precise meaning to the intuition that certain information leaks are small enough to be tolerated – and how systems can be constructed that …
On the Refinement Calculus
Av Carroll Morgan, Trevor Vickers
Häftad, 1994
569 kr
Lägg i varukorg
On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and …
Formal Methods: Foundations and Applications
14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Av Adenilso Simao, Carroll Morgan
Häftad, 2011
569 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full …
Formal Methods: Foundations and Applications
14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Av Carroll Morgan, Adenilso Simao
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full …
