full screen
booksbay Icon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Martin Leucker

Martin Leucker

10 results found
List viewGrid view
Sort By:
1.
Runtime Verification
Runtime Verification
By: Martin Leucker
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED380
Binding:
Paperback
Release:
23 Oct 2008
Language:
English
Available
Ships within 10-12 Days Explain..
Free Shipping in UAE.
2.
Formal Methods: Applications and Technology
Formal Methods: Applications and Technology
By: Lubos Brim, Martin Leucker, Boudewijn Haverkort, Jaco Van De Pol
Publisher: Springer
No Review Yet
AED284
Binding:
Paperback
Release:
01 Mar 2007
Language:
English
Available
Ships within 9-10 Days Explain..
Free Shipping in UAE.
3.
Formal Methods
Formal Methods
By: Leucker Martin Leucker, Katoen Joost-Pieter Katoen, Chechik Marsha Chechik
Publisher: Springer Nature B.V.
No Review Yet
AED536
Binding:
Paperback
Release:
08 Mar 2023
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
4.
Formal Methods
Formal Methods
By: Joost-Pieter Katoen, Martin Leucker, Marsha Chechik
Publisher: Springer International Publishing
No Review Yet
AED1,002
Binding:
Paperback
Release:
03 Mar 2023
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
5.
Formal Methods in Outer Space
Formal Methods in Outer Space
By: Martin Leucker, Ylies Falcone, Ezio Bartocci, Yliès Falcone
Publisher: Springer Nature Switzerland AG
No Review Yet
AED638
Binding:
Paperback
Release:
28 Sep 2021
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
6.
Runtime Verification
Runtime Verification
By: Martin Leucker, Christian Colombo
Publisher: Springer
No Review Yet
AED831
Binding:
Paperback
Release:
08 Nov 2018
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
7.
Theoretical Aspects of Computing--ICTAC 2009
Theoretical Aspects of Computing--ICTAC 2009
By: Martin Leucker, Charles Carroll Morgan
Publisher: Springer
No Review Yet
AED591
Binding:
Paperback
Release:
29 Jul 2009
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
8.
Theoretical Aspects of Computing - Ictac 2015
Theoretical Aspects of Computing - Ictac 2015
By: Martin Leucker, Camilo Rueda, Frank D. Valencia, Frank D Valencia
Publisher: Springer
No Review Yet
AED596
Binding:
Paperback
Release:
25 Dec 2015
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
9.
Model-Based Testing of Reactive Systems
Model-Based Testing of Reactive Systems
By: Joost-Pieter Katoen, Bengt Jonsson, Martin Leucker, Manfred Broy, Jost-Pieter Katoen
Publisher: Springer
No Review Yet
AED604
Binding:
Paperback
Release:
27 Jun 2005
Language:
English
International Edition
Ships within 20-22 Days Explain..
Free Shipping in UAE.
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.
10.
Theoretical Aspects of Computing - ICTAC 2015
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
AED482
Binding:
Paperback
Release:
11 Feb 2016
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found