Buy books written by Laura Titolo Available at BooksWagon

My Account
Log in New to Bookswagon?
Sign up
Log out
0
0

My Account

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Laura Titolo

4 results found

Sort By:

1.

Logic-Based Program Synthesis and Transformation

37 %

Logic-Based Program Synthesis and Transformation

By: Santiago Escobar, Laura Titolo

Publisher: Springer Nature Switzerland AG

No Review Yet

₹6,350

₹4,001

Binding:	Paperback
Release:	13 Sep 2025
Language:	English

Available

Ships within 22-24 Days Explain..

2.

Formal Methods for Industrial Critical Systems

37 %

Formal Methods for Industrial Critical Systems

By: Alessandro Cimatti, Laura Titolo

Publisher: Springer International Publishing AG

No Review Yet

₹7,117

₹4,484

Binding:	Paperback
Release:	17 Sep 2023
Language:	English

Available

Ships within 22-24 Days Explain..

3.

NASA Formal Methods

37 %

NASA Formal Methods

By: Ivan Perez, Aaron Dutle, Laura Titolo, Mariano M. Moscato, César A. Muñoz

Publisher: Springer Nature Switzerland AG

No Review Yet

₹9,307

₹5,863

Binding:	Paperback
Release:	17 May 2021
Language:	English

Available

Ships within 22-24 Days Explain..

No more records found

ASK VIDYA

Open Chatbot