Zoeken

U zocht naar: Auteur Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer Filter Auteur: Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Formal Methods for Executable Software Models
thumbnail
Full text!
Auteur:
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer; Damiani, Ferruccio; Haehnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina
Uitgever:
Springer International Publishing 2014
Type:
e-book