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

68 results found
List viewGrid view
Sort By:
1.
Theoretical Aspects of Computing - ICTAC 200936 %
No Review Yet
₹5,424
₹3,471
Binding:
Paperback
Release:
29 Jul 2009
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Programming Methodology
No Review Yet
₹2,745
Binding:
Hardback
Release:
01 Oct 2002
Language:
English
Available
Ships within 4-6 Days Explain..
3.
Reasoning Together24 %
No Review Yet
₹2,499
₹1,899
Binding:
Paperback
Release:
01 Apr 2008
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Representing Violence Against Women
No Review Yet
₹10,336
Binding:
Hardback
Release:
06 Jan 2026
Language:
English
Available
Ships within 12-14 Days Explain..
5.
The Science of Quantitative Information Flow
Available
Ships within 8-10 Days Explain..
6.
Abstraction, Refinement and Proof for Probabilistic Systems37 %
No Review Yet
₹16,274
₹10,253
Binding:
Paperback
Release:
19 Nov 2010
Language:
English
Available
Ships within 14-16 Days Explain..
7.
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 4-6 Days Explain..
8.
The Pamphlets of Lewis Carroll33 %
No Review Yet
₹8,000
₹5,360
Binding:
Hardback
Release:
15 Jul 2015
Language:
English
Available
Ships within 12-14 Days Explain..
9.
On the Refinement Calculus36 %
No Review Yet
₹5,424
₹3,471
Binding:
Paperback
Release:
13 Dec 1994
Language:
English
Available
Ships within 14-16 Days Explain..
10.
Programming Methodology37 %
No Review Yet
₹11,934
₹7,518
Binding:
Paperback
Release:
03 Dec 2010
Language:
English
Available
Ships within 14-16 Days Explain..
11.
Formal Methods, Informally5 % NR
No Review Yet
₹5,130
₹4,874
Binding:
Paperback
Release:
19 Feb 2026
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
12.
Formal Methods, Informally5 % NR
No Review Yet
₹11,543
₹10,966
Binding:
Hardback
Release:
19 Feb 2026
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
13.
When God Speaks, Obey!10 % NR
Publisher: Arpress
No Review Yet
₹999
₹899
Binding:
Paperback
Release:
12 Feb 2024
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
15.
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.
loadingLoading more results
ASK VIDYA