. .
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: 4.60 EUR, größter Preis: 87.91 EUR, Mittelwert: 61.86 EUR
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, 235x155x12 mm, [GW: 345g]

Neues Buch Booklooker.de
Carl Hübscher 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
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: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3,
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, - neues Buch

2009

ISBN: 9783642045691

ID: 978364204569

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. Books, Computers, Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, Books>Computers, Springer Berlin Heidelberg

Neues Buch Indigo.ca
new Free shipping on orders above $25 Versandkosten:plus verzendkosten, 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: 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: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... / Programming and Software Engineering) - Editor-María Alpuente; Editor-Byron Cook; Editor-Christophe Joubert
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Editor-María Alpuente; Editor-Byron Cook; Editor-Christophe Joubert:
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... / Programming and Software Engineering) - Taschenbuch

2009, ISBN: 9783642045691

ID: 456144685

Springer, 2009-12-15. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available., Springer, 2009-12-15

gebrauchtes bzw. antiquarisches Buch Biblio.com
Ergodebooks
Versandkosten: EUR 13.43
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 25.09.2016 13:37:20
ISBN/EAN: 9783642045691

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

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