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
Leucker Martin Leucker

Leucker Martin Leucker

13 results found
List viewGrid view
Sort By:
1.
Formal Methods37 %
Formal Methods
By: Joost-Pieter Katoen, Martin Leucker, Marsha Chechik
Publisher: Springer International Publishing AG
No Review Yet
₹10,615
₹6,687
Binding:
Paperback
Release:
03 Mar 2023
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Formal Methods in Outer Space36 %
Formal Methods in Outer Space
By: Martin Leucker, Ezio Bartocci, Yliès Falcone
Publisher: Springer Nature Switzerland AG
No Review Yet
₹5,838
₹3,736
Binding:
Paperback
Release:
28 Sep 2021
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Runtime Verification37 %
Runtime Verification
By: Martin Leucker, Christian Colombo
Publisher: Springer Nature Switzerland AG
No Review Yet
₹7,961
₹5,015
Binding:
Paperback
Release:
08 Nov 2018
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Runtime Verification36 %
Runtime Verification
By: Martin Leucker
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,307
₹3,396
Binding:
Paperback
Release:
23 Oct 2008
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Theoretical Aspects of Computing - ICTAC 201536 %
Theoretical Aspects of Computing - ICTAC 2015
By: Martin Leucker, Camilo Rueda, Frank D. Valencia
Publisher: Springer International Publishing AG
No Review Yet
₹5,307
₹3,396
Binding:
Paperback
Release:
25 Dec 2015
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Theoretical Aspects of Computing - ICTAC 200936 %
Theoretical Aspects of Computing - ICTAC 2009
By: Martin Leucker, Charles Carroll Morgan
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,307
₹3,396
Binding:
Paperback
Release:
29 Jul 2009
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Formal Methods: Applications and Technology59 %
Formal Methods: Applications and Technology
By: Lubos Brim, Martin Leucker, Boudewijn Haverkort, Jaco Van De Pol
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,307
₹2,176
Binding:
Paperback
Release:
20 Feb 2007
Language:
English
Available
Ships within 1-2 Days Explain..
8.
Model-Based Testing of Reactive Systems36 %
Model-Based Testing of Reactive Systems
By: Joost-Pieter Katoen, Bengt Jonsson, Martin Leucker, Manfred Broy, Alexander Pretschner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,307
₹3,396
Binding:
Paperback
Release:
27 Jun 2005
Language:
English
Available
Ships within 12-14 Days Explain..
9.
Formal MethodsNR
Formal Methods
By: Leucker Martin Leucker, Katoen Joost-Pieter Katoen, Chechik Marsha Chechik
Publisher: Springer Nature B.V.
No Review Yet
₹4,888
Binding:
Paperback
Release:
08 Mar 2023
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
10.
Runtime Verification
Runtime Verification
By: Martin Leucker
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
16 Mar 2009
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
11.
Theoretical Aspects of Computing - Ictac 2009
Theoretical Aspects of Computing - Ictac 2009
By: Martin Leucker, Charles Carroll Morgan
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
06 Aug 2009
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
Modelbased Testing of Reactive Systems
Modelbased Testing of Reactive Systems
By: Joost-Pieter Katoen, Bengt Jonsson, Martin Leucker, Manfred Broy, Alexander Pretschner
Publisher: Springer Verlag Berlin Heidelberg
No Review Yet
₹7,731
Binding:
Digital (delivered electronically)
Release:
01 Jan 2005
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
13.
Theoretical Aspects of Computing - ICTAC 2015NR
Theoretical Aspects of Computing - ICTAC 2015
By: Leucker Martin Leucker, Rueda Camilo Rueda, Valencia Frank D. Valencia
Publisher: Springer Nature B.V.
No Review Yet
₹4,323
Binding:
Paperback
Release:
11 Feb 2016
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA