Yamine Ait-Ameur (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?

FORMAL METHODS AND SOFTWARE ENGINEERING : 21ST INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, ICFEM 2019, SHENZHEN, CHI

Tekijä: Yamine Ait-Ameur (ed.); Shengchao Qin (ed.)
Kustantaja: Springer (2019)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z : 4TH INTERNATIONAL CONFERENCE, ABZ 2014, TOULOUSE, FRANCE, JUNE 2-6, 2014. P

Tekijä: Yamine Ait Ameur (ed.); Klaus-Dieter Schewe (ed.)
Kustantaja: Springer (2014)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

ABZ 2014: THE LANDING GEAR CASE STUDY : CASE STUDY TRACK, HELD AT THE 4TH INTERNATIONAL CONFERENCE ON ABSTRACT STATE MACHINES, A

Tekijä: Frederic Boniol (ed.); Virginie Wiels (ed.); Yamine Ait Ameur (ed.); Klaus-Dieter Schewe (ed.)
Kustantaja: Springer (2014)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

MODEL AND DATA ENGINEERING : 6TH INTERNATIONAL CONFERENCE, MEDI 2016, ALMERÍA, SPAIN, SEPTEMBER 21-23, 2016, PROCEEDINGS

Tekijä: Ladjel Bellatreche (ed.); Óscar Pastor (ed.); Jesús M. Almendros Jiménez (ed.); Yamine Aït-Ameur (ed.)
Kustantaja: Springer (2016)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

THEORETICAL ASPECTS OF SOFTWARE ENGINEERING : 16TH INTERNATIONAL SYMPOSIUM, TASE 2022, CLUJ-NAPOCA, ROMANIA, JULY 8–10, 2022, PR

Tekijä: Yamine Aït-Ameur (ed.); Florin Crăciun (ed.)
Kustantaja: Springer (2022)
Saatavuus: Noin 17-20 arkipäivää

EUR 83,40

ENGINEERING OF COMPLEX COMPUTER SYSTEMS : 28TH INTERNATIONAL CONFERENCE, ICECCS 2024, LIMASSOL, CYPRUS, JUNE 19–21, 2024, PROCEE

Tekijä: Guangdong Bai (ed.); Fuyuki Ishikawa (ed.); Yamine Ait-Ameur (ed.); George A. Papadopoulos (ed.)
Kustantaja: Springer (2024)
Saatavuus: 06.10.2024

EUR 65,00

Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, Chi

Yamine Ait-Ameur (ed.), Shengchao Qin (ed.)

49,60 €

Springer
Sivumäärä: 528 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2019, 06.10.2019 (lisätietoa)
Kieli: Englanti

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.

The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus