Verwandte Artikel zu Formal Methods for Executable Software Models: 14th...

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483 (Programming and Software Engineering) - Softcover

 
9783319073163: Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483 (Programming and Software Engineering)

Inhaltsangabe

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.

SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.

SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Gebraucht kaufen

Zustand: Wie neu
Unread book in perfect condition...
Diesen Artikel anzeigen

EUR 17,71 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für Formal Methods for Executable Software Models: 14th...

Foto des Verkäufers

Bernardo, Marco|Damiani, Ferruccio|Haehnle, Reiner|Johnsen, Einar Broch|Schaefer, Ina
ISBN 10: 3319073168 ISBN 13: 9783319073163
Neu Kartoniert / Broschiert
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Original, readable, and useful lecture notes written by leading expertsMade for students, researchers, and practitionersCovers a variety of topics in formal methods for software systems, with particular focus on modeling and verification r. Bestandsnummer des Verkäufers 4497842

Verkäufer kontaktieren

Neu kaufen

EUR 48,37
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Marco Bernardo
ISBN 10: 3319073168 ISBN 13: 9783319073163
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school. Bestandsnummer des Verkäufers 9783319073163

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Marco Bernardo
ISBN 10: 3319073168 ISBN 13: 9783319073163
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school. 352 pp. Englisch. Bestandsnummer des Verkäufers 9783319073163

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Marco Bernardo
ISBN 10: 3319073168 ISBN 13: 9783319073163
Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Neuware -This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch. Bestandsnummer des Verkäufers 9783319073163

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2014
ISBN 10: 3319073168 ISBN 13: 9783319073163
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783319073163_new

Verkäufer kontaktieren

Neu kaufen

EUR 61,81
Währung umrechnen
Versand: EUR 5,88
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Bernardo, Marco (EDT); Damiani, Ferruccio (EDT); Haehnle, Reiner (EDT); Johnsen, Einar Broch (EDT); Schaefer, Ina (EDT)
Verlag: Springer, 2014
ISBN 10: 3319073168 ISBN 13: 9783319073163
Neu Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 21306006-n

Verkäufer kontaktieren

Neu kaufen

EUR 54,83
Währung umrechnen
Versand: EUR 17,48
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Verlag: Springer 2014-05-21, 2014
ISBN 10: 3319073168 ISBN 13: 9783319073163
Neu Paperback

Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783319073163

Verkäufer kontaktieren

Neu kaufen

EUR 58,68
Währung umrechnen
Versand: EUR 15,34
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 10 verfügbar

In den Warenkorb

Foto des Verkäufers

Bernardo, Marco (EDT); Damiani, Ferruccio (EDT); Haehnle, Reiner (EDT); Johnsen, Einar Broch (EDT); Schaefer, Ina (EDT)
Verlag: Springer, 2014
ISBN 10: 3319073168 ISBN 13: 9783319073163
Neu Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 21306006-n

Verkäufer kontaktieren

Neu kaufen

EUR 61,69
Währung umrechnen
Versand: EUR 17,71
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Damiani Ferruccio Bernardo Marco Haehnle Reiner
Verlag: Springer, 2014
ISBN 10: 3319073168 ISBN 13: 9783319073163
Neu Softcover
Print-on-Demand

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. PRINT ON DEMAND pp. 352. Bestandsnummer des Verkäufers 18128031235

Verkäufer kontaktieren

Neu kaufen

EUR 86,09
Währung umrechnen
Versand: EUR 2,30
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2014
ISBN 10: 3319073168 ISBN 13: 9783319073163
Neu Softcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 352. Bestandsnummer des Verkäufers 26128031241

Verkäufer kontaktieren

Neu kaufen

EUR 82,47
Währung umrechnen
Versand: EUR 7,87
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Es gibt 5 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen