Verwandte Artikel zu Software Engineering and Formal Methods: 14th International...

Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, ... Computer Science and General Issues) - Softcover

 
9783319415901: Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, ... Computer Science and General Issues)
Softcover
ISBN 10: 3319415905 ISBN 13: 9783319415901
Verlag: Springer, 2016

Inhaltsangabe

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.

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

Reseña del editor

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.

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

  • VerlagSpringer
  • Erscheinungsdatum2016
  • ISBN 10 3319415905
  • ISBN 13 9783319415901
  • EinbandTapa blanda
  • SpracheEnglisch
  • Auflage1
  • Anzahl der Seiten436
  • HerausgeberDe Nicola Rocco, Kühn Eva
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Wie neu
Unread book in perfect condition...
Diesen Artikel anzeigen
9783319415901: Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, ... Computer Science and General Issues)
EUR 145,59

Währung umrechnen

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

Versandziele, Kosten & Dauer

Neu kaufen

Diesen Artikel anzeigen
9783319415901: Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, ... Computer Science and General Issues)
EUR 45,44

Währung umrechnen

EUR 5,83 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9783319415925: Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Vorgestellte Ausgabe

ISBN 10:  3319415921 ISBN 13:  9783319415925
Verlag: Springer, 2016
Softcover

Suchergebnisse für Software Engineering and Formal Methods: 14th International...

Beispielbild für diese ISBN

DE NICOLA, ROCCO
Verlag: Springer, 2016
ISBN 10: 3319415905 ISBN 13: 9783319415901
Neu Softcover

Anbieter: Speedyhen, London, Vereinigtes Königreich

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

Zustand: NEW. Bestandsnummer des Verkäufers NW9783319415901

Verkäufer kontaktieren

Neu kaufen

EUR 45,44
Währung umrechnen
Versand: EUR 5,83
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Eva Kühn
ISBN 10: 3319415905 ISBN 13: 9783319415901
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 constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch. Bestandsnummer des Verkäufers 9783319415901

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

Eva Kühn
ISBN 10: 3319415905 ISBN 13: 9783319415901
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 constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods. Bestandsnummer des Verkäufers 9783319415901

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

Eva Kühn
ISBN 10: 3319415905 ISBN 13: 9783319415901
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 constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods. 436 pp. Englisch. Bestandsnummer des Verkäufers 9783319415901

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

De Nicola, Rocco|Kühn, eva
ISBN 10: 3319415905 ISBN 13: 9783319415901
Neu Softcover

Anbieter: moluna, Greven, Deutschland

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

Zustand: New. This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume we. Bestandsnummer des Verkäufers 122125963

Verkäufer kontaktieren

Neu kaufen

EUR 56,43
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Rocco De Nicola
ISBN 10: 3319415905 ISBN 13: 9783319415901
Neu PAP

Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich

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

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers GB-9783319415901

Verkäufer kontaktieren

Neu kaufen

EUR 51,45
Währung umrechnen
Versand: EUR 8,38
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2016
ISBN 10: 3319415905 ISBN 13: 9783319415901
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 ria9783319415901_new

Verkäufer kontaktieren

Neu kaufen

EUR 54,12
Währung umrechnen
Versand: EUR 5,82
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

De Nicola, Rocco (EDT); Kühn, Eva (EDT)
Verlag: Springer, 2016
ISBN 10: 3319415905 ISBN 13: 9783319415901
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 26516832-n

Verkäufer kontaktieren

Neu kaufen

EUR 51,44
Währung umrechnen
Versand: EUR 17,52
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

De Nicola, Rocco (Editor)/ Kühn, Eva (Editor)
ISBN 10: 3319415905 ISBN 13: 9783319415901
Neu Paperback
Print-on-Demand

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

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

Paperback. Zustand: Brand New. 391 pages. 9.25x6.10x0.99 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __3319415905

Verkäufer kontaktieren

Neu kaufen

EUR 60,05
Währung umrechnen
Versand: EUR 11,68
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

De Nicola, Rocco (EDT); Kühn, Eva (EDT)
Verlag: Springer, 2016
ISBN 10: 3319415905 ISBN 13: 9783319415901
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 26516832-n

Verkäufer kontaktieren

Neu kaufen

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

Anzahl: 1 verfügbar

In den Warenkorb

Es gibt 10 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen