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%: FM 2008: Formal Methods (ISBN: 9783540682370) 2008, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
68%: Sous la direction de: Jorge Cuellar, Sous la direction de: Tom Maibaum: FM 2008: Formal Methods: 15th International Symposium on Formal Methods Turku, Finland, May 2008 Proceedings: 15th International Symposium on Formal . 2008 (Lecture Notes in Computer Science) (ISBN: 9783540682356) 2008, Erstausgabe, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
Formal Methods - 11 Angebote vergleichen
| Preise | Dez. 16 | Jan. 19 | Sep. 19 |
|---|---|---|---|
| Schnitt | € 77,99 | € 69,77 | € 78,73 |
| Nachfrage |
FM 2008: Formal Methods - 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (2008)
DE NW EB DLISBN: 9783540682370 bzw. 3540682376, in Deutsch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
FM 2008: Formal Methods: This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design. Englisch, Ebook.
FM 2008: Formal Methods (2008)
DE NW EB DLISBN: 9783540682370 bzw. 3540682376, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design. eBook.
FM 2008 (2008)
EN NW EB DLISBN: 9783540682370 bzw. 3540682376, in Englisch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
FM 2008: Formal Methods (2008)
DE NW EB DLISBN: 9783540682370 bzw. 3540682376, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
FM 2008: Formal Methods (2008)
DE PB NWISBN: 9783540682356 bzw. 354068235X, in Deutsch, Springer-Verlag Gmbh Mai 2008, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
FM 2008: Formal Methods
DE PB NWISBN: 9783540682356 bzw. 354068235X, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
Carl Hübscher GmbH, [4514147].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
FM 2008: Formal Methods (2008)
DE PB NWISBN: 9783540682356 bzw. 354068235X, in Deutsch, Springer-Verlag Gmbh Mai 2008, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 (Lecture Notes in Computer Science) (2008)
DE US FEISBN: 9783540682356 bzw. 354068235X, in Deutsch, Springer, gebraucht, Erstausgabe.
Von Händler/Antiquariat, Better World Books [51315977], Mishawaka, IN, U.S.A.
Book in almost Brand New condition.
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
DE PB NWISBN: 9783540682356 bzw. 354068235X, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Qwestbooks COM LLC [52241549], Bensalem, PA, U.S.A.
354068235X.
Formal Methods
DE NW EB DLISBN: 9783540682370 bzw. 3540682376, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen