Results
|
|
1.
|
Abstract state machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / Yamine Ait Ameur, Klaus-Dieter Schewe (eds.). by Series: Lecture notes in computer science ; 8477. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Heidelberg : Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
2.
|
|
|
|
3.
|
Model and data engineering : 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings / Ladjel Bellatreche, Óscar Pastor, Jesús M. Almendros Jiménez, Yamine Aït-Ameur (eds.). by Series: Lecture notes in computer science ; 9893. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
4.
|
Formal methods and software engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings / Yamine Ait-Ameur, Shengchao Qin (eds.). by Series: Lecture notes in computer science ; 11852. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2019
Availability: Items available for loan: e-Library (1).
|
|
|
5.
|
|
|
|
6.
|
Engineering of complex computer systems : 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings / Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos, editors. by Series: Lecture notes in computer science ; 14784.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2025]
Availability: Items available for loan: e-Library (1).
|