Von dem Buch Formal Methods: Foundations and Applications haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Christiano Braga; Narciso Martí-Oliet: Formal Methods: Foundations and Applications (ISBN: 9783319150758) 2014, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
100%: Christiano Braga (editor), Narciso Mart?-Oliet (editor): Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings (Lecture Notes in Computer Science) (ISBN: 9783319150741) 2015, 2015. Ausgabe, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Formal Methods: Foundations and Applications - 10 Angebote vergleichen
| Preise | 2016 | 2017 | 2019 |
|---|---|---|---|
| Schnitt | Fr. 34.73 (€ 35.59)¹ | Fr. 31.35 (€ 32.12)¹ | Fr. 29.72 (€ 30.45)¹ |
| Nachfrage |
1
Formal Methods: Foundations and Applications
DE PB NWISBN: 9783319150741 bzw. 331915074X, in Deutsch, Springer, Berlin Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Deutschland, الشحن المجاني.
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area. 2015. 2015. ix, 179 S. 39 SW-Abb. 235 mm Versandfertig in 3-5 Tagen, Softcover, Neuware, offene Rechnung (Vorkasse vorbehalten).
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area. 2015. 2015. ix, 179 S. 39 SW-Abb. 235 mm Versandfertig in 3-5 Tagen, Softcover, Neuware, offene Rechnung (Vorkasse vorbehalten).
2
Formal Methods: Foundations and Applications (2014)
~EN NW EB DLISBN: 9783319150758 bzw. 3319150758, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Schweiz, Lagernd, zzgl. Versandkosten.
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area. eBook.
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area. eBook.
3
Formal Methods: Foundations and Applications
DE NW EBISBN: 9783319150741 bzw. 331915074X, in Deutsch, Springer International Publishing, neu, E-Book.
Lieferung aus: Vereinigte Staaten von Amerika, E-Book zum download.
Business, This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Macei, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area. eBook.
Business, This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Macei, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area. eBook.
4
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings (Lecture Notes in Computer Science) (2015)
EN PB NWISBN: 9783319150741 bzw. 331915074X, in Englisch, 179 Seiten, 2015. Ausgabe, Springer, Taschenbuch, neu.
جديد من: $47.45 (14 ويقدم)
تستخدم من: $46.99 (4 ويقدم)
إظهار المزيد 18 ويقدم في Amazon.com
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, allnewbooks.
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area., Paperback, الطبعة: 2015, التسمية: Springer, Springer, مجموعة المنتجات: Book, ونشرت: 2015-01-07, تاريخ الإصدار: 2015-01-27, ستوديو: Springer.
Von Händler/Antiquariat, allnewbooks.
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area., Paperback, الطبعة: 2015, التسمية: Springer, Springer, مجموعة المنتجات: Book, ونشرت: 2015-01-07, تاريخ الإصدار: 2015-01-27, ستوديو: Springer.
5
Foundations and Applications
DE NW EB DLISBN: 9783319150758 bzw. 3319150758, in Deutsch, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Symbolbild
Formal Methods: Foundations and Applications. 17th Brazilian Symposium, Sbmf 2014, Maceió, Al, Brazil, September 29-October 1, 2014. Proceedings (2015)
DE PB NWISBN: 9783319150741 bzw. 331915074X, in Deutsch, 2015. Ausgabe, Springer, Taschenbuch, neu.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, zzgl. Versandkosten, Verandgebiet: EUR.
Von Händler/Antiquariat, Herb Tandree Philosophy Books, Stroud, Glos, [RE:4].
Paperback, 2015 ed.
Von Händler/Antiquariat, Herb Tandree Philosophy Books, Stroud, Glos, [RE:4].
Paperback, 2015 ed.
8
Formal Methods: Foundations and Applications
DE NW EBISBN: 9783319150758 bzw. 3319150758, in Deutsch, Springer Science+Business Media, neu, E-Book.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29-October 1, 2014. Proceedings (2014)
EN NW EB DLISBN: 9783319150758 bzw. 3319150758, in Englisch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, Despatched same working day before 3pm.
Lade…