Humburger Icon
Logo1
Login & Sign up
Bookswagon-24x7 online bookstore
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Categories
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Carolyn Talcott

Carolyn Talcott

12 results found
List viewGrid view
Sort By:
1.
Composing Model-Based Analysis Tools37 %
Composing Model-Based Analysis Tools
By: Carolyn Talcott, Francisco Duran, Robert Heinrich, Steffen Zschaler, Francisco Durán
Publisher: Springer International Publishing
No Review Yet
₹9,600
₹6,048
Binding:
Paperback
Release:
04 Dec 2022
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Composing Model-Based Analysis Tools37 %
Composing Model-Based Analysis Tools
By: Carolyn Talcott, Francisco Duran, Robert Heinrich, Steffen Zschaler, Francisco Durán
Publisher: Springer International Publishing
No Review Yet
₹13,440
₹8,467
Binding:
Hardback
Release:
06 Oct 2021
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Logic, Language, and Security37 %
Logic, Language, and Security
By: Mitsuhiro Okada, Carolyn Talcott, Joshua Guttman, Boon Thau Loo, Stepan Kuznetsov
Publisher: Springer International Publishing
No Review Yet
₹5,760
₹3,629
Binding:
Paperback
Release:
14 Dec 2020
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Logic, Rewriting, and Concurrency37 %
Logic, Rewriting, and Concurrency
By: Carolyn Talcott, Narciso Marti-Oliet, Carolyn L. Talcott, Peter Csaba Olveczky, Peter Csaba OElveczky
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
21 Aug 2015
Language:
English
Available
Ships within 12-14 Days Explain..
5.
All About Maude: A High-Performance Logical Framework
All About Maude: A High-Performance Logical Framework
By: Carolyn Talcott, Steven Eker, Patrick Lincoln, Francisco Duran, Narciso Marti-Oliet
Publisher: Springer
No Review Yet
₹1,763
Binding:
SA
Release:
20 Jul 2007
Language:
English
Available
Ships within 1-2 Days Explain..
6.
Formal Methods for Open Object-Based Distributed Systems IV59 %
Formal Methods for Open Object-Based Distributed Systems IV
By: Scott F Smith, Carolyn L Talcott
Publisher: Springer
No Review Yet
₹21,287
₹8,728
Binding:
Hardback
Release:
31 Aug 2000
Language:
English
Available
Ships within 2-4 Days Explain..
7.
Formal Methods for Open Object-Based Distributed Systems IV37 %
Formal Methods for Open Object-Based Distributed Systems IV
By: Scott F Smith, Carolyn L Talcott
Publisher: Springer
No Review Yet
₹19,200
₹12,096
Binding:
Paperback
Release:
01 Aug 2012
Language:
English
Available
Ships within 12-14 Days Explain..
8.
Coordination Models and LanguagesPOD/NR
Coordination Models and Languages
By: Farhad Arbab, Carolyn Talcott
Publisher: Springer
No Review Yet
₹5,126
Binding:
Paperback
Release:
27 Mar 2002
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
Print On Demand
Print On Demand (POD) titles : are those which have been especially printed by the Publisher / Vendor partner only after an order for them has been received. They are also classified as Non-Returnable.
Non-Returnable titles : are those which have been classified as Non-Returnable under any circumstance by International Publishers / Vendor partners.
9.
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman57 % NR
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
By: Wilfried Sieg, Richard Sommer, Carolyn Talcott, Carolyn L. Talcott, Solomon Feferman
Publisher: A K Peters
No Review Yet
₹16,338
₹7,025
Binding:
Hardback
Release:
16 Aug 2002
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
Logic, Language, and Security3 % NR
Logic, Language, and Security
By: Talcott Carolyn Talcott, Ban Kirigin Tajana Ban Kirigin, Nigam Vivek Nigam
Publisher: Springer Nature B.V.
No Review Yet
₹4,239
₹4,112
Binding:
Paperback
Release:
05 Nov 2020
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
11.
Formal Methods for Open Object-Based Distributed Systems IV1 % NR
Formal Methods for Open Object-Based Distributed Systems IV
By: Smith Scott F. Smith, Talcott Carolyn L. Talcott
Publisher: Springer Nature B.V.
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
04 Mar 2014
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
Logic, Rewriting, and Concurrency1 % NR
Logic, Rewriting, and Concurrency
By: Marti-Oliet Narciso Marti-Oliet, Olveczky Peter Csaba Olveczky, Talcott Carolyn Talcott
Publisher: Springer Nature B.V.
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
31 Aug 2015
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found