blazy sandrine blazy author - Books - 24x7 online bookstore Bookswagon.com

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Blazy Sandrine Blazy

6 results found

Sort By:

36 %

Static Analysis

By: Sandrine Blazy, Thomas Jensen

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

₹5,307

₹3,396

Binding:	Paperback
Release:	14 Sep 2015
Language:	English

Available

Ships within 12-14 Days Explain..

36 %

Verified Software. Theories, Tools, and Experiments

By: Marsha Chechik, Sandrine Blazy

Publisher: Springer International Publishing AG

No Review Yet

₹5,307

₹3,396

Binding:	Paperback
Release:	08 Nov 2016
Language:	English

Available

Ships within 12-14 Days Explain..

36 % NR

Interactive Theorem Proving

By: Christine Paulin-Mohring, Sandrine Blazy, David Pichardie

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

₹5,307

₹3,396

Binding:	Paperback
Release:	19 Jul 2013
Language:	English

Available

Ships within 12-14 Days Explain..

38 %

Program Logics for Certified Compilers

By: Xavier LeRoy, Sandrine Blazy, Aquinas Hobor, Lennart Beringer, Robert Dockins

Publisher: Cambridge University Press

No Review Yet

₹10,185

₹6,315

Binding:	Hardback
Release:	21 Apr 2014
Language:	English

Available

Ships within 4-6 Days Explain..

2 % NR

Static Analysis

By: Blazy Sandrine Blazy, Jensen Thomas Jensen

Publisher: Springer Nature B.V.

No Review Yet

₹4,239

₹4,154

Binding:	Paperback
Release:	21 Sep 2015
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

1 % NR

Interactive Theorem Proving

By: Paulin-Mohring Christine Paulin-Mohring, Pichardie David Pichardie, Blazy Sandrine Blazy

Publisher: Springer Nature B.V.

No Review Yet

₹4,239

₹4,197

Binding:	Paperback
Release:	20 Jun 2013
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

No more records found