Marmsole | Akateeminen Kirjakauppa

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

FORMAL ASPECTS OF COMPONENT SOFTWARE - 20TH INTERNATIONAL CONFERENCE, FACS 2024, MILAN, ITALY, SEPTEMBER 9–10, 2024, PROCEEDINGS

Diego Marmsoler; Meng Sun
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

51,40 €

FORMAL METHODS. FM 2019 INTERNATIONAL WORKSHOPS - PORTO, PORTUGAL, OCTOBER 7–11, 2019, REVISED SELECTED PAPERS, PART I

Emil Sekerinski; Nelma Moreira; José N. Oliveira; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Marmsole
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

51,40 €

FORMAL METHODS. FM 2019 INTERNATIONAL WORKSHOPS - PORTO, PORTUGAL, OCTOBER 7–11, 2019, REVISED SELECTED PAPERS, PART II

Emil Sekerinski; Nelma Moreira; José N. Oliveira; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Marmsole
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

51,40 €

BASIS DER GUTEN KÜCHE

Konrad Gartner; Franz Gufler; Martin Lecher; Markus Malfer; Jakob Marmsoler; Edith Mayrl; Josef Pircher; Peter Windisch
Athesia Tappeiner Verlag (2020)
Kovakantinen kirja

88,40 €

Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings

Diego Marmsoler, Meng Sun

51,40 €

Springer International Publishing AG
Sivumäärä: 147 sivua
Asu: Pehmeäkantinen kirja
Painos: 2024 ed.
Julkaisuvuosi: 2024, 08.09.2024 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 15189

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.

The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus