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
Sofiene Tahar

Sofiene Tahar

6 results found
List viewGrid view
Sort By:
1.
Formal Methods and Software Engineering37 %
Formal Methods and Software Engineering
By: Sofiène Tahar, Yi Li, Sofiene Tahar
Publisher: Springer Nature Singapore
No Review Yet
₹6,240
₹3,931
Binding:
Paperback
Release:
24 Oct 2023
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
By: Cesar A. Munoz, Otmane Ait Mohamed, Cesar Munoz, Sofiène Tahar, Sofiene Tahar
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹983
Binding:
Paperback
Release:
01 Oct 2008
Language:
English
Available
Ships within 4-6 Days Explain..
3.
Theorem Proving in Higher Order LogicsPOD/NR
Theorem Proving in Higher Order Logics
By: Sofiene Tahar, Victor A Carreno, Cesar A Munoz
Publisher: Springer
No Review Yet
₹5,133
Binding:
Paperback
Release:
07 Aug 2002
Language:
English
International Edition
Ships within 12-14 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.
4.
Probabilistic Analysis using Theorem Proving5 % POD/NR
Probabilistic Analysis using Theorem Proving
By: Sofine Tahar, Sofiène Tahar, Osman Hasan, Sofiene Tahar
Publisher: VDM Verlag Dr. Mueller e.K.
No Review Yet
₹6,463
₹6,140
Binding:
Paperback
Release:
06 Nov 2008
Language:
English
International Edition
Ships within 12-14 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.
Formalized Probability Theory and Applications Using Theorem Proving38 % POD/NR
Formalized Probability Theory and Applications Using Theorem Proving
By: Sofiène Tahar, Osman Hasan, SofiYne Tahar, Sofiene Tahar
Publisher: Information Science Reference
No Review Yet
₹17,160
₹10,639
Binding:
Hardback
Release:
26 Mar 2015
Language:
English
International Edition
Ships within 22-24 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.
6.
Verification and Evaluation of Computer and Communication Systems3 % POD/NR
Verification and Evaluation of Computer and Communication Systems
By: Kamel Barkaoui, Sofiène Tahar, Ali Mili, Hanifa Boucheneb, Sofiene Tahar
Publisher: Springer
No Review Yet
₹5,084
₹4,931
Binding:
Paperback
Release:
15 Aug 2017
Language:
English
International Edition
Ships within 12-14 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.
No more records found