Von dem Buch 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%: Formal Methods: Foundations and Applications (ISBN: 9783642410710) 2013, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
70%: Herausgegeben von Iyoda, Juliano de Moura, Leonardo: Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings . / Programming and Software Engineering) (ISBN: 9783642410703) in Deutsch, Taschenbuch.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Foundations and Applications - 12 Angebote vergleichen
| Preise | Dez. 16 | Feb. 19 | Sep. 19 |
|---|---|---|---|
| Schnitt | € 40,49 | € 39,66 | € 39,69 |
| Nachfrage |
1
Formal Methods: Foundations and Applications (2013)
DE NW EB DLISBN: 9783642410710 bzw. 3642410715, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Lagernd.
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains. eBook.
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains. eBook.
2
Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (2013)
DE NW EB DLISBN: 9783642410710 bzw. 3642410715, in Deutsch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Formal Methods: Foundations and Applications: This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains. Englisch, Ebook.
Formal Methods: Foundations and Applications: This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains. Englisch, Ebook.
3
Formal Methods (2013)
EN NW EB DLISBN: 9783642410710 bzw. 3642410715, in Englisch, Springer, Berlin/Heidelberg/New York, NY, Deutschland, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
4
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Paperback) (2013)
DE PB NW RPISBN: 9783642410703 bzw. 3642410707, in Deutsch, Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, Taschenbuch, neu, Nachdruck.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkostenfrei.
Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Formal Methods: Foundations and Applications (2013)
DE PB NWISBN: 9783642410703 bzw. 3642410707, in Deutsch, Springer Sep 2013, Taschenbuch, neu.
Von Händler/Antiquariat, Rhein-Team Lörrach Ivano Narducci e.K. [57451429], Lörrach, Germany.
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
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings . / Programming and Software Engineering) (2013)
DE PB NWISBN: 9783642410703 bzw. 3642410707, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Revaluation Books [2134736], Exeter, United Kingdom.
256 pages. 9.20x6.10 inches. In Stock.
256 pages. 9.20x6.10 inches. In Stock.
8
Formal Methods: Foundations and Applications (2013)
DE NW EB DLISBN: 9783642410710 bzw. 3642410715, in Deutsch, Springer, Berlin/Heidelberg/New York, NY, Deutschland, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Formal Methods: Foundations Applications: 16th Brazilian Symposium, Sbmf 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (2015)
DE PB NWISBN: 9783642410703 bzw. 3642410707, in Deutsch, SPRINGER VERLAG GMBH 01/04/2015, Taschenbuch, neu.
Von Händler/Antiquariat, Books2Anywhere [190245], Swindon, United Kingdom.
New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. This item is printed on demand.
New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. This item is printed on demand.
10
Formal Methods: Foundations Applications: 16th Brazilian Symposium, Sbmf 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (2014)
DE PB NWISBN: 9783642410703 bzw. 3642410707, in Deutsch, SPRINGER VERLAG GMBH 01/07/2014, Taschenbuch, neu.
Von Händler/Antiquariat, Paperbackshop-US [8408184], Secaucus, NJ, U.S.A.
New Book. This item is printed on demand. Shipped from US This item is printed on demand.
New Book. This item is printed on demand. Shipped from US This item is printed on demand.
Lade…