. .
Deutsch
Deutschland
Ähnliche Bücher
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 66,99 €, größter Preis: 88,77 €, Mittelwert: 76,11 €
Formal Methods for Industrial Critical Systems - María Alpuente
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
María Alpuente:

Formal Methods for Industrial Critical Systems - Taschenbuch

2009, ISBN: 9783642045691

[ED: Taschenbuch], [PU: Springer], Neuware - This volume contains the papers presented at FMICS 2009, the 14th Inter- tional Workshop on Formal Methods for Industrial Critical Systems,whichwas held on November 2-3, 2009, in Eindhoven, The Netherlands. Previous wo- shops of the ERCIM working group on Formal Methods for Industrial Critical Systems were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July2002),Trondheim(June2003),Linz(September 2004),Lisbon(September 2005),Bonn (August 2006),Berlin (July 2007),and L'Aquila (September 2008). The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. The FMICS 2009 workshop was part of FMweek, the rst Formal Methods Week,whicho eredachoiceofeventsinthearea,includingTESTCOM/FATES, Conferenceon TestingofCommunicatingSystemsandWorkshop on Formal- proaches to Testing of SoftwareFACS,Formal Aspects of Component Software PDMC, Parallel and Distributed Methods of veri Cation FM2009, Symposium of Formal Methods EuropeCPA, Communicating Process ArchitecturesFAST, Formal Aspects of Security and TrustFMCO, Formal Methods for Components and Objects and the REFINE Workshop. All the information on FMweek can be found at win.tue.nl/fmweek., [SC: 0.00], Neuware, gewerbliches Angebot, FixedPrice, [GW: 349g]

Neues Buch Booklooker.de
Buchhandlung Kühn GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Methods for Industrial Critical Systems - María Alpuente#Byron Cook#Christophe Joubert
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

María Alpuente#Byron Cook#Christophe Joubert:

Formal Methods for Industrial Critical Systems - neues Buch

2009, ISBN: 9783642045691

ID: 647645726

This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications. 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings Bücher > Fremdsprachige Bücher > Englische Bücher Taschenbuch 26.10.2009 Buch (fremdspr.), Springer, .200

Neues Buch Buch.ch
No. 18165769 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Methods for Industrial Critical Systems - María Alpuente#Byron Cook#Christophe Joubert
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
María Alpuente#Byron Cook#Christophe Joubert:
Formal Methods for Industrial Critical Systems - neues Buch

2009

ISBN: 9783642045691

ID: 4f23b19daac82da1c272e73b01de110b

14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Bücher / Fremdsprachige Bücher / Englische Bücher 978-3-642-04569-1, Springer

Neues Buch Buch.de
Nr. 18165769 Versandkosten:Bücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, Sofort lieferbar, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Methods for Industrial Critical Systems - María Alpuente#Byron Cook#Christophe Joubert
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
María Alpuente#Byron Cook#Christophe Joubert:
Formal Methods for Industrial Critical Systems - neues Buch

2009, ISBN: 9783642045691

ID: 226501632

This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications. 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Neues Buch Thalia.de
No. 18165769 Versandkosten:, Sofort lieferbar, DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Methods for Industrial Critical Systems als Buch von
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Formal Methods for Industrial Critical Systems als Buch von - gebunden oder broschiert

2009, ISBN: 9783642045691

ID: 712659135

Formal Methods for Industrial Critical Systems:14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings. 2009. Auflage Formal Methods for Industrial Critical Systems:14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings. 2009. Auflage Bücher > English, International > Gebundene Ausgaben, Springer

Neues Buch Hugendubel.de
No. 9272883 Versandkosten:, , DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... / Programming and Software Engineering)
Autor:

María Alpuente, Byron Cook, Christophe Joubert

Titel:

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... / Programming and Software Engineering)

ISBN-Nummer:

9783642045691

This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

Detailangaben zum Buch - Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... / Programming and Software Engineering)


EAN (ISBN-13): 9783642045691
ISBN (ISBN-10): 3642045693
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Springer-Verlag GmbH
212 Seiten
Gewicht: 0,356 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 28.09.2009 14:18:53
Buch zuletzt gefunden am 29.01.2017 14:15:35
ISBN/EAN: 9783642045691

ISBN - alternative Schreibweisen:
3-642-04569-3, 978-3-642-04569-1

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher