Zoeken

U zocht naar: Auteur Sekerinski Filter Auteur: Sekerinski weghalen Fulltext online Filter Fulltext: online weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Integrated Formal Methods
thumbnail
Full text!
Auteur:
Albert; Sekerinski, Emil
Uitgever:
Springer International Publishing 2014
Type:
e-book
2. FM 2006: Formal Methods
thumbnail
Full text!
Auteur:
Misra, Jayadev; Kanade, Takeo; Nipkow, Tobias; Sekerinski, Emil
Uitgever:
Springer Berlin / Heidelberg 2006
Type:
e-book
3. Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
thumbnail
Full text!
Auteur:
Sekerinski; Astarte, Troy; Campos, José; Farrell, Marie; Guidotti, Riccardo; Luckcuck, Matt; Marmsoler, Diego; Moreira, Nelma; Oliveira, José N.; Ratiu, Daniel
Uitgever:
Springer International Publishing 2020
Type:
e-book
4. Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
thumbnail
Full text!
Auteur:
Sekerinski; Astarte, Troy; Campos, José; Farrell, Marie; Guidotti, Riccardo; Luckcuck, Matt; Marmsoler, Diego; Moreira, Nelma; Oliveira, José N.; Ratiu, Daniel
Uitgever:
Springer International Publishing 2020
Type:
e-book