Humburger Icon
Logo1
Login & Sign up
Bookswagon-24x7 online bookstore
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Categories
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Ait Ameur Yamine Ait Ameur

Ait Ameur Yamine Ait Ameur

10 results found
List viewGrid view
Sort By:
1.
Engineering of Complex Computer Systems37 %
Engineering of Complex Computer Systems
By: Fuyuki Ishikawa, George A Papadopoulos, Yamine Ait-Ameur, Guangdong Bai
Publisher: Springer Nature Switzerland
No Review Yet
₹6,336
₹3,992
Binding:
Paperback
Release:
06 Oct 2024
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Theoretical Aspects of Software Engineering37 %
Theoretical Aspects of Software Engineering
By: Yamine Ait-Ameur, Yamine Aït-Ameur, Florin Craciun, Florin Crăciun
Publisher: Springer International Publishing AG
No Review Yet
₹8,160
₹5,141
Binding:
Paperback
Release:
01 Jul 2022
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Formal Methods and Software Engineering37 %
Formal Methods and Software Engineering
By: Shengchao Qin, Yamine Ait-Ameur
Publisher: Springer International Publishing
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
06 Oct 2019
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems37 %
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
By: Dominique Mery, Shin Nakajima, Yamine Ait-Ameur, Dominique Méry
Publisher: Springer
No Review Yet
₹9,600
₹6,048
Binding:
Paperback
Release:
11 Aug 2021
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems37 %
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
By: Dominique Mery, Shin Nakajima, Yamine Ait-Ameur, Dominique Méry
Publisher: Springer
No Review Yet
₹9,600
₹6,048
Binding:
Hardback
Release:
28 Jul 2020
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Model and Data Engineering37 %
Model and Data Engineering
By: Ladjel Bellatreche, Yamine Ait Ameur, George A Papadopoulos
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
23 Sep 2014
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Model and Data Engineering37 %
Model and Data Engineering
By: Ladjel Bellatreche, Yamine Ait Ameur, Oscar Pastor, Jesus M. Almendros Jimenez, Jesus M Almendros Jimenez
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
07 Sep 2016
Language:
English
Available
Ships within 12-14 Days Explain..
8.
Abstract State Machines, Alloy, B, Tla, VDM, and Z37 %
Abstract State Machines, Alloy, B, Tla, VDM, and Z
By: Klaus-Dieter Schewe, Yamine Ait Ameur
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
21 May 2014
Language:
English
Available
Ships within 12-14 Days Explain..
9.
Abz 2014: The Landing Gear Case Study37 %
Abz 2014: The Landing Gear Case Study
By: Klaus-Dieter Schewe, Yamine Ait Ameur, Frederic Boniol, Virginie Wiels
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
26 May 2014
Language:
English
Available
Ships within 12-14 Days Explain..
10.
Abstract State Machines, Alloy, B, TLA, VDM, and Z2 % NR
Abstract State Machines, Alloy, B, TLA, VDM, and Z
By: Schewe Klaus-Dieter Schewe, Ait Ameur Yamine Ait Ameur
Publisher: Springer Nature B.V.
No Review Yet
₹4,239
₹4,154
Binding:
Paperback
Release:
25 Jun 2014
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found