Formal Methods: Foundations and Applications - 6 Angebote vergleichen
Preise | Dez. 16 | März 19 | Sep. 19 |
---|---|---|---|
Schnitt | Fr. 37.84 (€ 38.66)¹ | Fr. 41.77 (€ 42.68)¹ | Fr. 35.83 (€ 36.61)¹ |
Nachfrage |
1
Formal Methods: Foundations and Applications (2016)
DE NW EB DL
ISBN: 9783319498157 bzw. 3319498150, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Schweiz, Lagernd, zzgl. Versandkosten.
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking. eBook.
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking. eBook.
2
Formal Methods: Foundations and Applications (2016)
EN NW EB DL
ISBN: 9783319498157 bzw. 3319498150, in Englisch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
Lieferung aus: Brasilien, in-stock.
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
3
Formal Methods: Foundations and Applications (2016)
EN NW EB DL
ISBN: 9783319498157 bzw. 3319498150, in Englisch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, in-stock.
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewe.
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewe.
4
Formal Methods: Foundations and Applications (2016)
DE PB NW
ISBN: 9783319498157 bzw. 3319498150, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Formal Methods: Foundations and Applications (2016)
DE NW EB DL
ISBN: 9783319498157 bzw. 3319498150, in Deutsch, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…