Klimaneutrales UnternehmenFaire PreiseSchneller & kostenloser Versand
Integrated Formal Methods

Integrated Formal Methods

74,89 €

inkl. MwSt. versandkostenfrei

Lieferzeit 1 Werktag(e)

Kurzinformation
Sprache:
Englisch
ISBN:
3642162649
Seitenzahl:
337
Auflage:
-
Erschienen:
2010-11-01
Dein Kauf tut Gutes! Mit diesem Kauf trägst Du zur Neupflanzung eines Baumes bei. Jeder Baum zählt! Green Tree

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Natural CO2 neutral
Coins Faire Preise
Check Schnelle & einfache Abwicklung
74,89 €

inkl. MwSt. versandkostenfrei

Lieferzeit 1 Werktag(e)

74,89 €

inkl. MwSt. versandkostenfrei


Beschreibung

Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

ThisvolumecontainstheproceedingsofIFM2010,the8thInternationalConf- ence on Integrated Formal Methods. The conference took place October 12-14, 2010,atthe INRIA researchcenterandthe LORIAlaboratoryinNancy,France. Previous editions were held in York, Dagstuhl, Turku, Canterbury, Eindhoven, Oxford, and Dusseldorf ¿ . The IFM conference series seeks to promote research into the combination of di?erent formal methods, including the combination of formal with semiformal methods, for system development. Such combinations are useful in order to apprehend di?erent aspects of systems, including fu- tional correctness, security, performance, and fault-tolerance. The conference provides a forum for discussing recent advances in the state of the art and for disseminating the results among the academic and industrial community. IFM2010received59submissions,coveringthespectrumofintegratedformal methods and ranging from formal and semiformal notations, semantics, re?- ment, veri?cation, and model transformations to type systems, logics, tools, and case studies. Each submission was reviewed by at least three members of the Program Committee. The committee decided to accept 20 papers. The conf- ence programalso included invited talks by Christel Baier, John Fitzgerald, and Rajeev Joshi. The conference was preceded by a day dedicated to the Wo- shop on Formal Methods for Web Data Trust and Security (WTS 2010)and two tutorials, one on the veri?cation of C# programs using Spec# and Boogie 2, + by Rosemary Monahan, and the other on the TLA proof system, by Denis Cousineau and Stephan Merz. von Méry, Dominique

Produktdetails

Einband:
Kartoniert
Seitenzahl:
337
Erschienen:
2010-11-01
Sprache:
Englisch
EAN:
9783642162640
ISBN:
3642162649
Gewicht:
528 g
Auflage:
-
Verwandte Sachgebiete:

Über den Autor


Entdecke mehr vom Verlag


Kundenbewertungen

0
Kundenbewertungen für "Integrated Formal Methods"
Bewertung schreiben
Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.


Neu
74,89 €
Zuletzt angesehen
Entdecke mehr Gebrauchtes für Dich
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
REST und HTTP REST und HTTP
Tilkov, Stefan;Eigenbrodt, ...
23,62 €
frontend/listing/product-box/box-product-slider.tpl
Einstieg in C++ Einstieg in C++
Willemer, Arnold
18,31 €
frontend/listing/product-box/box-product-slider.tpl
Typographie kompakt Typographie kompakt
Bollwage, Max
6,83 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
Technisches Schreiben Technisches Schreiben
Rechenberg, Peter
5,47 €
frontend/listing/product-box/box-product-slider.tpl
Beautiful Architecture Beautiful Architecture
Spinellis, Diomidis;Gousios...
16,08 €
frontend/listing/product-box/box-product-slider.tpl
Wien wartet auf Dich! Wien wartet auf Dich!
DeMarco, Tom;Lister, Timothy;
1,34 €
frontend/listing/product-box/box-product-slider.tpl
Facebook für Dummies Facebook für Dummies
Pearlman, Leah;Abram, Carolyn;
9,26 €
frontend/listing/product-box/box-product-slider.tpl