Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783642045691 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 66,99 €, größter Preis: 74,89 €, Mittelwert: 73,31 €
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., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 235x155x12 mm, 213, [GW: 349g], offene Rechnung (Vorkasse vorbehalten), PayPal, Kreditkarte, Banküberweisung, Interntationaler Versand

Neues Buch Booklooker.de
Buchhandlung - Bides GbR
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., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 235x155x12 mm, 213, [GW: 349g], offene Rechnung (Vorkasse vorbehalten), PayPal, Kreditkarte, Banküberweisung, Internationaler Versand

Neues Buch Booklooker.de
Buchhandlung - Bides GbR
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: 836108738

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 - 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

ISBN: 9783642045691

ID: 9783642045691

Computer Science; Software Engineering/Programming and Operating Systems; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Special Purpose and Application-Based Systems Java, Linux, Simulation, automation, avionics, case study, compositional modeling, concurrency, constraints, distributed verification, formal methods, formal specification, modeling, testing, verification Books Book, Springer Science+Business Media

Neues Buch Springer.com
Versandkosten: 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 - Taschenbuch

2009, ISBN: 9783642045691

ID: 11287894

14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, 2009, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

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)

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 20.12.2017 20:31:05
ISBN/EAN: 9783642045691

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


< zum Archiv...
Benachbarte Bücher