Wiklicky herbert editor (2 risultati)

Autore:

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM . / Programming and Software Engineering)
Bernardo, Marco (Editor) / de Vink, Erik (Editor) / Di Pierro, Alessandra (Editor) / Wiklicky, Herbert (Editor)
Lingua: Inglese
Editore: Springer, 2013
3642388736 / 9783642388736
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 71,72
EUR 11,72 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2013 edition. 188 pages. 9.25x6.10x0.44 inches. In Stock.
Scopri altri titoli di Alessandro Aldini
Scopri le opere pubblicate e le offerte di articoli da collezione.Scopri Alessandro Aldini
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2010 Bertinoro, Italy, June 21-26, 201
Aldini, Alessandro (Editor)
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2010
364213677X / 9783642136771
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 78,57
EUR 11,72 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 176 pages. 9.00x6.00x0.25 inches. In Stock.

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM . / Programming and Software Engineering)