close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Carroll Morgan

Carroll MorganCarroll Morgan has been an innovator, educator and researcher in computer science for his whole career: first in industry, then as Lecturer and Fellow at the University of Oxford, and finally as Professor at the University of New South Wales. He is bst known for his pioneering work in systematic- and correctness-oriented methods of writing computer programs and systems, and especially for his text Programming from Specifications. He is a member of IFIPWorking Groups 1.3, 1.7, 2.1 and 2.3 and received (jointly) the 'Best Cybersecurity Paper of the Year' award from the National Security Agency in 2015. Read More Read Less

67 results found
List viewGrid view
Sort By:
1.
Programming Methodology
No Review Yet
₹2,745
Binding:
Hardback
Release:
01 Oct 2002
Language:
English
Available
Ships within 4-6 Days Explain..
2.
Reasoning Together4 % NR
No Review Yet
₹2,800
₹2,688
Binding:
Paperback
Release:
01 Apr 2008
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
3.
The Science of Quantitative Information Flow
Available
Ships within 10-12 Days Explain..
4.
Abstraction, Refinement and Proof for Probabilistic Systems37 %
No Review Yet
₹16,424
₹10,347
Binding:
Paperback
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Abstraction, Refinement and Proof for Probabilistic Systems27 %
No Review Yet
₹2,500
₹1,825
Binding:
Hardback
Release:
19 Nov 2004
Language:
English
Available
Ships within 10-12 Days Explain..
6.
Programming Methodology37 %
No Review Yet
₹12,044
₹7,588
Binding:
Paperback
Release:
03 Dec 2010
Language:
English
Available
Ships within 14-16 Days Explain..
7.
On the Refinement Calculus36 %
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
13 Dec 1994
Language:
English
Available
Ships within 14-16 Days Explain..
8.
Theoretical Aspects of Computing - ICTAC 200936 %
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
29 Jul 2009
Language:
English
Available
Ships within 14-16 Days Explain..
9.
When God Speaks, Obey!10 % NR
Publisher: Arpress
No Review Yet
₹983
₹885
Binding:
Paperback
Release:
12 Feb 2024
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
11.
Take Back your Government17 % NR
Publisher: Fulcrum Inc.,US
No Review Yet
₹1,826
₹1,516
Binding:
Paperback
Release:
01 Jan 2012
Language:
English
International Edition
Ships within 18-20 Days Explain..
Free Shipping in India and low cost Worldwide.
14.
The Pamphlets of Lewis CarrollNR
No Review Yet
₹8,135
Binding:
Hardback
Release:
15 Jul 2015
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
18.
Representing Violence Against WomenNR
No Review Yet
₹10,624
Binding:
Hardback
Release:
16 Jan 2026
Language:
English
Releasing Soon
This book will be released on 16 Jan 2026.
Ships within 16-18 days from the release date.Explain..
Free Shipping in India and low cost Worldwide.
19.
Formal Methods, Informally
No Review Yet
₹38,372
Binding:
Digital download and online
Release:
05 Feb 2026
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
20.
Formal Methods, Informally
No Review Yet
₹9,645
Binding:
Hardback
Release:
31 Jan 2026
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
loadingLoading more results
ASK VIDYA