Humburger Icon
Let's Explore, Bibiliophile
  • Account Icon
  • Wishlist Icon
  • Cart Icon

    Cart Overview

    Show All
    Your cart is empty
Logo1
close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Menu
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Howard Barringer

Howard Barringer

8 results found
List viewGrid view
Sort By:
1.
Temporal Logic in Specification34 %
Temporal Logic in Specification
By: Behnam Banieqbal, Amir Pnueli, Howard Barringer
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,699
₹3,761
Binding:
Paperback
Release:
10 Nov 1989
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Advances in Temporal Logic35 %
Advances in Temporal Logic
By: Dov M. Gabbay, Howard Barringer, Michael Fisher, Graham Gough
Publisher: Kluwer Academic Publishers
No Review Yet
₹17,099
₹11,114
Binding:
Hardback
Release:
31 Dec 1999
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Advances in Temporal Logic35 %
Advances in Temporal Logic
By: Dov M. Gabbay, Howard Barringer, Michael Fisher, Graham Gough
Publisher: Springer
No Review Yet
₹17,099
₹11,114
Binding:
Paperback
Release:
12 Aug 2010
Language:
English
Available
Ships within 14-16 Days Explain..
4.
A Survey of Verification Techniques for Parallel Programs31 % POD/NR
A Survey of Verification Techniques for Parallel Programs
By: Howard Barringer
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹3,880
₹2,677
Binding:
Paperback
Release:
05 Jan 1985
Language:
English
International Edition
Ships within 10-12 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.
5.
Runtime Verification
Runtime Verification
By: Howard Barringer, Ylies Falcone, Bernd Finkbeiner
Publisher: Springer
No Review Yet
₹0
Binding:
Paperback
Release:
13/03/2011
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
6.
Advances in Temporal Logic
Advances in Temporal Logic
By: Howard Barringer, Dov M Gabbay, Michael Fisher, (In (University of Liverpool, UK Rutgers University and Hunter College-CUNY University of Liverpool, UK University of Liverpool, UK University of Liverpool, UK University of Liverpool, UK University of Liverpool, UK University of Liverpool
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
7.
A Survey of Verification Techniques for Parallel Programs
A Survey of Verification Techniques for Parallel Programs
By: Howard Barringer
Publisher: Springer
No Review Yet
₹0
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
8.
Imperative Future
Imperative Future
By: Barringer, Mark Reynolds, Howard Barringer, H Barringer, D M Gabbay
Publisher: Taylor & Francis Group
No Review Yet
₹0
Binding:
Hardback
Release:
01 Apr 1996
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA