Humburger Icon
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
Legay Axel Legay

Legay Axel Legay

17 results found
List viewGrid view
Sort By:
1.
Models, Algorithms, Logics and Tools36 %
Models, Algorithms, Logics and Tools
By: Axel Legay, Luca Aceto, Giorgio Bacci, Giovanni Bacci, Radu Mardare
Publisher: Springer International Publishing AG
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
25 Jul 2017
Language:
English
Available
Ships within 22-24 Days Explain..
2.
Tools and Algorithms for the Construction and Analysis of Systems36 %
Tools and Algorithms for the Construction and Analysis of Systems
By: Axel Legay, Tiziana Margaria
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
31 Mar 2017
Language:
English
Available
Ships within 22-24 Days Explain..
3.
Formal Modeling and Analysis of Timed Systems36 %
Formal Modeling and Analysis of Timed Systems
By: Axel Legay, Marius Bozga
Publisher: Springer International Publishing AG
No Review Yet
₹5,256
₹3,364
Binding:
Paperback
Release:
19 Aug 2014
Language:
English
Available
Ships within 22-24 Days Explain..
4.
Automated Technology for Verification and Analysis36 %
Automated Technology for Verification and Analysis
By: Axel Legay, Cyrille Artho, Doron Peled
Publisher: Springer International Publishing AG
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
22 Sep 2016
Language:
English
Available
Ships within 22-24 Days Explain..
5.
Tools and Algorithms for the Construction and Analysis of Systems36 %
Tools and Algorithms for the Construction and Analysis of Systems
By: Axel Legay, Tiziana Margaria
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
31 Mar 2017
Language:
English
Available
Ships within 22-24 Days Explain..
6.
Model Checking Software36 %
Model Checking Software
By: Axel Legay, Fabrizio Biondi, Thomas Given-Wilson
Publisher: Springer Nature Switzerland AG
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
14 Sep 2019
Language:
English
Available
Ships within 14-16 Days Explain..
7.
Hardware and Software: Verification and Testing36 %
Hardware and Software: Verification and Testing
By: Axel Legay, Valeria Bertacco
Publisher: Springer International Publishing AG
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
31 Oct 2013
Language:
English
Available
Ships within 22-24 Days Explain..
8.
Runtime Verification36 %
Runtime Verification
By: Saddek Bensalem, Axel Legay
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
19 Aug 2013
Language:
English
Available
Ships within 22-24 Days Explain..
9.
Risks and Security of Internet and Systems36 %
Risks and Security of Internet and Systems
By: Jean-Louis Lanet, Axel Legay, Nora Cuppens, Frédéric Cuppens
Publisher: Springer International Publishing AG
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
02 Mar 2017
Language:
English
Available
Ships within 22-24 Days Explain..
10.
Risks and Security of Internet and Systems36 %
Risks and Security of Internet and Systems
By: Joaquin Garcia-Alfaro, Jean-Louis Lanet, Axel Legay, Nora Cuppens, Frédéric Cuppens
Publisher: Springer International Publishing AG
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
24 Feb 2018
Language:
English
Available
Ships within 22-24 Days Explain..
11.
From Programs to Systems - The Systems Perspective in Computing36 %
From Programs to Systems - The Systems Perspective in Computing
By: Yassine Lakhnech, Saddek Bensalem, Axel Legay
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,256
₹3,364
Binding:
Paperback
Release:
11 Mar 2014
Language:
English
Available
Ships within 22-24 Days Explain..
12.
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
By: Axel Legay, Marius Bozga
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
01 Nov 2014
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
13.
Runtime Verification
Runtime Verification
By: Saddek Bensalem, Axel Legay
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
05 Sep 2013
Out of Stock
Notify me when this book is in stockNotify Me
14.
Model Checking SoftwareNR
Model Checking Software
By: Biondi Fabrizio Biondi, Given-Wilson Thomas Given-Wilson, Legay Axel Legay
Publisher: Springer Nature B.V.
No Review Yet
₹4,323
Binding:
Paperback
Release:
18 Sep 2019
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
Tools and Algorithms for the Construction and Analysis of SystemsNR
Tools and Algorithms for the Construction and Analysis of Systems
By: Margaria Tiziana Margaria, Legay Axel Legay
Publisher: Springer Nature B.V.
No Review Yet
₹4,323
Binding:
Paperback
Release:
05 Apr 2017
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
16.
Tools and Algorithms for the Construction and Analysis of SystemsNR
Tools and Algorithms for the Construction and Analysis of Systems
By: Margaria Tiziana Margaria, Legay Axel Legay
Publisher: Springer Nature B.V.
No Review Yet
₹4,323
Binding:
Paperback
Release:
05 Apr 2017
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
17.
From Programs to Systems - The Systems Perspective in ComputingNR
From Programs to Systems - The Systems Perspective in Computing
By: Bensalem Saddek Bensalem, Lakhnech Yassine Lakhnech, Legay Axel Legay
Publisher: Springer Nature B.V.
No Review Yet
₹4,323
Binding:
Paperback
Release:
08 Mar 2014
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA