Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings

Unbekannt

ISBN 10: 3642324681 ISBN 13: 9783642324680

Verlag: Springer Berlin Heidelberg, 2012

Sprache: Englisch

Zustand: Gebraucht - Sehr gut Softcover

F�r sp�ter vormerken

Verkauft von Buchpark, Trebbin, Deutschland

AbeBooks-Verk�ufer seit 30. September 2021

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Zustand: Gebraucht - Sehr gut

Preis: EUR 36,56 W�hrung umrechnen

Kostenlos f�r den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Zustand: Sehr gut | Seiten: 240 | Sprache: Englisch | Produktart: B�cher.

Bestandsnummer des Verk�ufers 22631965/12

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings

Verlag

Springer Berlin Heidelberg

Erscheinungsjahr

2012

Sprache

Englisch

ISBN-10

3642324681

ISBN-13

9783642324680

Einband

Softcover

Zustand

Sehr gut

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submissions. 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.

Von der hinteren Coverseite

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012.
The 14 papers presented were carefully reviewed and selected from 37 submissions. 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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Zur Homepage des Verk�ufers